A Framework for Memory Efficient Context-Sensitive Program Analysis

Static program analysis is in general more precise if it is sensitive to execution contexts (execution paths). But then it is also more expensive in terms of memory consumption. For languages with conditions and iterations, the number of contexts grows exponentially with the program size. This probl...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theory of computing systems Ročník 66; číslo 5; s. 911 - 956
Hlavní autoři:	Hedenborg, Mathias, Lundberg, Jonas, Löwe, Welf, Trapp, Martin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.10.2022 Springer Nature B.V
Témata:	Algorithms Approximation Computer and Information Sciences Computer Science Computer Science Context Context-sensitivity Cost analysis Data analysis Data flow analysis Data- och informationsvetenskap Graph theory Mathematical analysis Program verification (computers) Redundancy Static program analysis Theory of Computation Static program analysis Data-flow analysis Context-sensitivity
ISSN:	1432-4350, 1433-0490, 1433-0490
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!