Deriving a compiler from an operational semantics written in VDL

DOI10.1016/0096-0551(85)90004-9zbMath0561.68023OpenAlexW2084868445WikidataQ122420254 ScholiaQ122420254MaRDI QIDQ5186724

Shahrzade Mazaher, Daniel M. Berry

Publication date: 1985

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(85)90004-9

zbMATH Keywords

operational semanticscompiler correctnesscompiler generationmixed computationVienna Definition LanguageVDL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

Annotated bibliography on partial evaluation and mixed computation ⋮ Unnamed Item

This page was built for publication: Deriving a compiler from an operational semantics written in VDL