… These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity …
ENTCS, 148(1):41-73, 2006. [doi]… This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite … and thoroughly tested formal definition of C to date. The semantics yields an interpreter …
POPL 2012: 533-544 [doi]… metamodel. In this work, we provide a formal semantics to the notions of structural …
isse, 6(1-2):73-81, 2010. [doi]