Abstract interpretation as a programming language

MaRDI QIDQ4994688zbMATH OpenFDO

Authors Mads Rosendahl

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5133, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract interpretation from a denotational-semantics perspective
• scientific article; zbMATH DE number 3947598
• Strictness analysis and denotational abstract interpretation
• Comparison of abstract interpretations
• Strictness analysis for higher-order functions

Cited in

(8)

• scientific article; zbMATH DE number 5185574 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• scientific article; zbMATH DE number 1759712 (Why is no real title available?)
• Abstract interpretation from a denotational-semantics perspective
• scientific article; zbMATH DE number 2087617 (Why is no real title available?)
• Sweeping in Abstract Interpretation
• Incremental Abstract Interpretation
• scientific article; zbMATH DE number 194122 (Why is no real title available?)

This page was built for publication: Abstract interpretation as a programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994688)