View-augmented abstractions

DOI10.1016/J.ENTCS.2010.09.005MaRDI QIDQ2814101zbMATH OpenOpenAlexFDO

Authors Matt Elder, Denis Gopan, Thomas Reps

Publication date 17 June 2016

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• View abstraction -- a tutorial (invited paper)
• Incremental materialization of object-oriented views
• View abstraction for systems with component identities
• scientific article; zbMATH DE number 995885
• scientific article; zbMATH DE number 1088294
• scientific article; zbMATH DE number 1696887
• Linked views for visual exploration
• scientific article; zbMATH DE number 2079618

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3623496 (Why is no real title available?)
• scientific article; zbMATH DE number 1956566 (Why is no real title available?)
• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• Abstractions from proofs
• Automatic modular abstractions for template numerical constraints
• Finite Differencing of Computable Expressions
• Precise interprocedural analysis through linear algebra
• Static Analysis
• 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
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: View-augmented abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814101)