IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis

Iterative dataflow analyses (IDFAs) are important static analyses employed by tools like compilers for enabling program optimizations, comprehension, verification, and more. During compilation of a program, optimizations/transformations can render existing dataflow solutions stale, jeopardizing the...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 9; číslo OOPSLA1; s. 617 - 648
Hlavní autoři:	Nougrahiya, Aman, Nandivada, V. Krishna
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 09.04.2025
Témata:	Automated static analysis Compilers Software and its engineering static analysis incremental compilation
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!