View-augmented abstractions
From MaRDI portal
Publication:2814101
DOI10.1016/J.ENTCS.2010.09.005zbMATH Open1342.68081OpenAlexW2127524927MaRDI QIDQ2814101FDOQ2814101
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)
Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.005
Recommendations
- View abstraction -- a tutorial (invited paper)
- Incremental materialization of object-oriented views
- View abstraction for systems with component identities
- scientific article
- 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
- Title not available (Why is that?)
- Abstractions from proofs
- Precise interprocedural analysis through linear algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Systematic design of program transformation frameworks by abstract interpretation
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Finite Differencing of Computable Expressions
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Static Analysis
- Automatic modular abstractions for template numerical constraints
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)