Open AccessCertified Derivation of Small-Step From Big-Step Skeletal Semantics
Author(s) -
Guillaume Ambal,
Sergueï Lenglet,
Alan Schmitt,
Camille Noûs
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3551357.3551384
Subject(s) - programming language , computer science , semantics (computer science) , proof assistant , scripting language , interpreter , transformation (genetics) , operational semantics , certification , program transformation , formal semantics (linguistics) , computational semantics , translation (biology) , mathematics , biochemistry , chemistry , geometry , law , political science , mathematical proof , gene , messenger rna
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom