Symbolic transfer function-based approaches to certified compilation

DOI10.1145/964001.964002zbMath1325.68070OpenAlexW2088514859MaRDI QIDQ3452245

Xavier Rival

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/964001.964002

zbMATH Keywords

static analysiscompilationabstract interpretationcertificationtranslation validation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

A formally verified compiler back-end ⋮ Verifying chemical reaction network implementations: a pathway decomposition approach ⋮ Preservation of Proof Obligations from Java to the Java Virtual Machine ⋮ Certificate Translation in Abstract Interpretation ⋮ Inter-program Properties

This page was built for publication: Symbolic transfer function-based approaches to certified compilation