Isabelle code generator infrastructure

E1997102 UNEXPLORED

Isabelle code generator infrastructure is the component of the Isabelle proof assistant that translates formal specifications into executable code in target programming languages such as Haskell, OCaml, Scala, and SML.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isabelle code generator infrastructure canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Isabelle/ML → integratedWith → Isabelle code generator infrastructure ⓘ