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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo POPL; s. 1895 - 1924
Hlavní autor:	Lemerre, Matthieu
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 09.01.2023
Edice:	POPL 2023 - the 50th ACM SIGPLAN Symposium on Principles of Programming Languages
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!