Verifying an Open Compiler Using Multi-language Semantics

DOI10.1007/978-3-642-54833-8_8zbMath1405.68067OpenAlexW188282463WikidataQ60142674 ScholiaQ60142674MaRDI QIDQ5410697

Amal Ahmed, James T. Perconti

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_8

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Equational logic and categorical semantics for multi-languages ⋮ ANF preserves dependent types up to extensional equality ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ Unnamed Item

This page was built for publication: Verifying an Open Compiler Using Multi-language Semantics