SSA Translation Is an Abstract Interpretation

Static single assignment (SSA) form is a popular intermediate representation that helps implement useful static analyses, including global value numbering (GVN), sparse dataflow analyses, or SMT-based abstract interpretation or model checking. However, the precision of the SSA translation itself dep...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 7; no. POPL; pp. 1895 - 1924
Main Author:	Lemerre, Matthieu
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 09.01.2023
Series:	POPL 2023 - the 50th ACM SIGPLAN Symposium on Principles of Programming Languages
Subjects:	Abstraction Compilers Computer Science Equational logic and rewriting Formal software verification Program analysis Program verification Programming Languages Software and its engineering Theory of computation Static Single Assignment (SSA) Cyclic term graph Abstract interpretation Theory of computation → Program analysis Formal software verification CCS Concepts: • Software and its engineering → Compilers Abstraction Program verification Equational logic and rewriting Static Single Assignment (SSA)
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!