scientific article; zbMATH DE number 3938547
From MaRDI portal
Publication:3709872
Recommendations
Cited in
(22)- A safe approach to parallel combinator reduction
- Strictness analysis and denotational abstract interpretation
- Frameworks for abstract interpretation
- A new abstraction framework for affine transformers
- An abstract interpretation framework for input data usage
- Deciding absorption in relational structures
- Properties of a relational framework synthesized over a set of semantically atomic predicates
- Sound bit-precise numerical domains
- Relaxed Abduction
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Compositional characterization of observable program properties
- An abstract interpretation framework for genotype elimination algorithms
- scientific article; zbMATH DE number 1953027 (Why is no real title available?)
- An abstract interpretation for ML equality kinds
- An abstract interpretation framework for type and effect systems
- Extracting program logics from abstract interpretations defined by logical relations
- Abstract Interpretation Frameworks
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- Internal and External Logics of Abstract Interpretations
- Static Analysis
- Flow analysis of lazy higher-order functional programs
- Two-level semantics and abstract interpretation
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 Q3709872)
