View-Augmented Abstractions

DOI10.1016/j.entcs.2010.09.005zbMath1342.68081OpenAlexW2127524927MaRDI QIDQ2814101

Matthew Elder, Denis Gopan, Thomas W. Reps

Publication date: 17 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.005

zbMATH Keywords

view maintenancenumerical abstract domainsabstract-interpretation precision

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Abstractions from proofs
• Precise interprocedural analysis through linear algebra
• Automatic Modular Abstractions for Template Numerical Constraints
• Finite Differencing of Computable Expressions
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: View-Augmented Abstractions