scientific article; zbMATH DE number 2087567
From MaRDI portal
Publication:4738384
Recommendations
Cited in
(48)- An abstract interpretation framework for optimizing dynamic modular logic languages
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Program analysis tools
- Type inference for record concatenation and subtyping
- A relational shape abstract domain
- Fuzzy set abstraction
- Improving thread-modular abstract interpretation
- Multilevel static analysis for improving program quality
- On multi-language abstraction. Towards a static analysis of multi-language programs
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- A divide-and-conquer approach for analysing overlaid data structures
- scientific article; zbMATH DE number 1617328 (Why is no real title available?)
- scientific article; zbMATH DE number 1693486 (Why is no real title available?)
- A modular static analysis approach to affine loop invariants detection
- Sound non-statistical clustering of static analysis alarms
- Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
- Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
- Precondition inference from intermittent assertions and application to contracts on collections
- Static analysis of PostScript code
- scientific article; zbMATH DE number 1822434 (Why is no real title available?)
- Modular analysis of executables using on-demand Heyting completion
- Galois Connections for Recursive Types
- Incremental Abstract Interpretation
- scientific article; zbMATH DE number 1948384 (Why is no real title available?)
- scientific article; zbMATH DE number 1948395 (Why is no real title available?)
- scientific article; zbMATH DE number 1479617 (Why is no real title available?)
- Program verification: state of the art, problems, and results. I
- Static analysis of arithmetical congruences
- scientific article; zbMATH DE number 1832221 (Why is no real title available?)
- Incremental and modular context-sensitive analysis
- Compositional may-must program analysis: unleashing the power of alternation
- Automatic modular abstractions for linear constraints
- Algebraic Methodology and Software Technology
- Programming Languages and Systems
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Program Development in Computational Logic
- scientific article; zbMATH DE number 2243645 (Why is no real title available?)
- Modular software fault isolation as abstract interpretation
- Principles of staged static+dynamic partial analysis
- Lifting numeric relational domains to algebraic data types
- Result invalidation for incremental modular analyses
- An input-output relational domain for algebraic data types and functional arrays
- Partial program analysis for staged compilation systems
- Static analysis based on formal models and incremental computation in Go programming
- Extending separation logic with fixpoints and postponed substitution
- Why does Astrée scale up?
- Deriving escape analysis by abstract interpretation
- Resource-usage-aware configuration in software product lines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738384)
