Abstract Interpretation, Logical Relations, and Kan Extensions

DOI10.1093/LOGCOM/1.1.5zbMATH Open0727.03020DBLPjournals/logcom/Abramsky90OpenAlexW2059221460WikidataQ57006940 ScholiaQ57006940MaRDI QIDQ3348896FDOQ3348896

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

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

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)

Cited In (20)

• Prelogical relations
• Strictness and totality analysis with conjunction
• A domain-theoretic framework for robustness analysis of neural networks
• Domains for Higher-Order Games
• Safety of abstract interpretations for free, via logical relations and Galois connections
• Payoffs, intensionality and abstraction in games
• Inverse image analysis generalises strictness analysis
• PCF extended with real numbers
• Title not available (Why is that?)
• 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
• Extracting program logics from abstract interpretations defined by logical relations
• Title not available (Why is that?)
• 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)