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 interpretationlambda-calculuspowerdomainsKan extensionslogical relationsprogram analysissafetycorrectnesslivenessstrictness 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)

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