Tracing compilation by abstract interpretation

DOI10.1145/2535838.2535866zbMath1284.68177OpenAlexW2045025591MaRDI QIDQ5408402

Francesco Logozzo, Stefano Dissegna, 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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• JavaScript
• Python
• PHP

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