Amanote Research
Register
Sign In
On Abstraction Refinement for Program Analyses in Datalog
doi 10.1145/2594291.2594327
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Xin Zhang
Ravi Mangal
Radu Grigore
Mayur Naik
Hongseok Yang
Publisher
ACM Press
Related search
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extraction of Abstraction Invariants for Data Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interference Analysis for Dependable Systems Using Refinement and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Solving Games via Three-Valued Abstraction Refinement
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis
IEE Proceedings - Control Theory and Applications
Mind the Shapes: Abstraction Refinement via Topology Invariants
