Programming Languages and Systems
From MaRDI portal
Publication:5308686
DOI10.1007/B96702zbMATH Open1126.68485OpenAlexW2964738244MaRDI QIDQ5308686FDOQ5308686
Authors: Francesco Tapparo, Francesco Ranzato
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Recommendations
- Generalized Strong Preservation by Abstract Interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- On the strong semantical completeness of the intuitionistic predicate calculus
- Verification, Model Checking, and Abstract Interpretation
- Completeness in Proof-Theoretic Semantics
- On completeness of reducibility candidates as a semantics of strong normalization
- Strong Completeness of a Pure Free Logic
- scientific article; zbMATH DE number 475195
- scientific article; zbMATH DE number 1497801
- Observational completeness on abstract interpretation
Cited In (17)
- Title not available (Why is that?)
- Deriving Bisimulations by Simplifying Partitions
- Title not available (Why is that?)
- Inverse-limit and topological aspects of abstract interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- 3-valued abstraction: More precision at less cost
- Generalizing the Paige-Tarjan algorithm by abstract interpretation
- Incompleteness of states w.r.t. traces in model checking
- Extracting program logics from abstract interpretations defined by logical relations
- Observational completeness on abstract interpretation
- Correctness kernels of abstract interpretations
- Observational Completeness on Abstract Interpretation
- Generalized Strong Preservation by Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Internal and External Logics of Abstract Interpretations
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308686)