Skeletal Semantics

body

This is the web site for skeletal semantics.

  • Coq formalization of skeletal semantics.
  • necro, a tool that generates OCaml interpreters and k-CFA analyses from a skeletal semantics.