Skeletal Semantics


Skeletal Semantics


  • Semantics in Skel and Necro, ICTCS 2022, hal, slides
  • Necro : la sémantique sans y laisser les os, PhD Thesis of Victoire Noizet (in French), 2022, manuscript

Coq Generation


  • Certified Abstract Machines for Skeletal Semantics, CPP 2022, hal
  • Non-Deterministic Abstract Machines, CONCUR 2022, hal
  • A Faithful Description of ECMAScript Algorithms, PPDP 2022, hal
  • Certified Derivation of Small-Step From Big-Step Skeletal Semantics, PPDP 2022, hal
  • Skeletal Semantics Transformations, PhD Thesis of Guillaume Ambal, 2022, dedicated page
  • Deriving Abstract Interpreters from Skeletal Semantics, Express/SOS 2023, hal, long version, slides