Verifying an Open Compiler Using Multi-language Semantics

DOI10.1007/978-3-642-54833-8_8zbMATH Open1405.68067DBLPconf/esop/PercontiA14OpenAlexW188282463WikidataQ60142674 ScholiaQ60142674MaRDI QIDQ5410697FDOQ5410697

Authors: James T. Perconti, Amal Ahmed 

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

Recommendations

• Leveraging compiler intermediate representation for multi- and cross-language verification
• A verifying compiler for a multi-threaded object-oriented language
• scientific article; zbMATH DE number 1374873
• scientific article; zbMATH DE number 1630130
• scientific article; zbMATH DE number 1956470

Mathematics Subject Classification ID

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

Cited In (6)

• On multi-language abstraction. Towards a static analysis of multi-language programs
• Title not available (Why is that?)
• Equational logic and categorical semantics for multi-languages
• A verifying compiler for a multi-threaded object-oriented language
• ANF preserves dependent types up to extensional equality
• Leveraging compiler intermediate representation for multi- and cross-language verification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410697)