Tracing compilation by abstract interpretation

DOI10.1145/2535838.2535866MaRDI QIDQ5408402zbMATH OpenOpenAlexWikidataFDO

Authors Stefano Dissegna, Francesco Logozzo, Francesco Ranzato

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

abstract interpretationtrace semanticstracing compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The essence of compiling with traces
• Trace-relating compiler correctness and secure compilation
• Static and dynamic program compilation by interpreter specialization
• Generic program monitoring by trace analysis
• scientific article; zbMATH DE number 1832221

Cited in

(2)

• scientific article; zbMATH DE number 765178 (Why is no real title available?)
• The essence of compiling with traces

Describes a project that uses

Uses Software

• JavaScript
• PHP
• Python

This page was built for publication: Tracing compilation by abstract interpretation

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