Safety of abstract interpretations for free, via logical relations and Galois connections
From MaRDI portal
Publication:1881270
DOI10.1016/j.scico.2003.06.002zbMath1091.68069OpenAlexW2042631106MaRDI QIDQ1881270
Kevin Backhouse, Roland C. Backhouse
Publication date: 4 October 2004
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2003.06.002
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
Trace-Relating Compiler Correctness and Secure Compilation, Transposing partial components--an exercise on coalgebraic refinement, On collecting semantics for program analysis, Programming from Galois connections, A Single Complete Relational Rule for Coalgebraic Refinement, Extended Static Checking by Calculation Using the Pointfree Transform, Domains for Higher-Order Games, A linear algebra approach to OLAP, Regular algebra applied to language problems
