scientific article; zbMATH DE number 2087617
From MaRDI portal
Publication:4738461
zbMATH Open1077.68674MaRDI QIDQ4738461FDOQ4738461
Authors: Patrick Cousot 
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180002.htm
Title of this publication is not available (Why is that?)
Recommendations
- Principles of abstract interpretation
- Abstract interpretation
- Abstract interpretation from a denotational-semantics perspective
- scientific article; zbMATH DE number 3901998
- On the power of abstract interpretation
- Abstract Interpretation Frameworks
- Frameworks for abstract interpretation
- Abstract interpretation as a programming language
- Theories, solvers and static analysis by abstract interpretation
- Refining abstract interpretations
Cited In (11)
- Abstract interpretation
- Abstraction of syntax
- Abstract Interpretation of Symbolic Execution with Explicit State Updates
- Programming Languages and Systems
- Automating abstract interpretation
- Abstract interpretation from a denotational-semantics perspective
- Abstract interpretation of annotated commands
- Refining abstract interpretations
- A survey on product operators in abstract interpretation
- Verification by abstract interpretation
- Principles of 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 Q4738461)
