Finite differencing of logical formulas for static analysis
Abstract
This article concerns mechanisms for maintaining the value of an instrumentation relation (also known as a derived relation or view ), defined via a logical formula over core relations, in response to changes in the values of the core relations. It presents an algorithm for transforming the instrumentation relation's defining formula into a relation-maintenance formula that captures what the instrumentation relation's new value should be. The algorithm runs in time linear in the size of the defining formula.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 01, 2010
- Source ID
- 10.1145/1749608.1749613
Entities
People
- Alexey Loginov
- Mooly Sagiv
- Thomas Reps
Organizations
- Division of Computing and Communication Foundations
- GrammaTech
- National Science Foundation
- Office of Naval Research
- Tel Aviv University
- University of Wisconsin–Madison