Abstract Interpretation, Logical Relations, and Kan Extensions

DOI10.1093/LOGCOM/1.1.5MaRDI QIDQ3348896zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Samson Abramsky

Publication date 1990

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.1.5

zbMATH Keywords

abstract interpretationcorrectnessKan extensionslambda-calculuslivenesslogical relationspowerdomainsprogram analysissafetystrictness analysis

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55)

Recommendations

• Strictness analysis and denotational abstract interpretation
• Safety of abstract interpretations for free, via logical relations and Galois connections
• On the power of abstract interpretation
• scientific article; zbMATH DE number 2090019
• scientific article; zbMATH DE number 3938547

Cited in

(20)

• Head-strictness is not a monotonic abstract property
• Properly injective spaces and function spaces
• PCF extended with real numbers
• Prelogical relations
• Safety of abstract interpretations for free, via logical relations and Galois connections
• On collecting semantics for program analysis
• Kan extensions for program optimisation Or: Art and Dan explain an old trick
• On the power of abstract interpretation
• scientific article; zbMATH DE number 3947598 (Why is no real title available?)
• Compositional characterization of observable program properties
• scientific article; zbMATH DE number 1953281 (Why is no real title available?)
• On-line and off-line partial evaluation: semantic specifications and correctness proofs
• Payoffs, intensionality and abstraction in games
• Differential logical relations. I: The simply-typed case
• Strictness and totality analysis with conjunction
• Domains for Higher-Order Games
• Extracting program logics from abstract interpretations defined by logical relations
• On-the-Fly Techniques for Game-Based Software Model Checking
• A domain-theoretic framework for robustness analysis of neural networks
• Inverse image analysis generalises strictness analysis

This page was built for publication: Abstract Interpretation, Logical Relations, and Kan Extensions

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