@inbook{a8a1afe470aa4f6fb9094ef87f8ee1bb,
title = "Finite differencing of logical formulas for static analysis",
abstract = "This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core predicates, in response to changes in the values of the core predicates. It presents an algorithm for transforming the instrumentation predicate's defining formula into a predicate-maintenance formula that captures what the instrumentation predicate's new value should be. This technique applies to program-analysis problems in which the semantics of statements is expressed using logical formulas that describe changes to core-predicate values, and provides a way to reflect those changes in the values of the instrumentation predicates.",
author = "Thomas Reps and Mooly Sagiv and Alexey Loginov",
year = "2003",
doi = "10.1007/3-540-36575-3_26",
language = "אנגלית",
isbn = "3540008861",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "380--398",
editor = "Pierpaolo Degano",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}