scientific article; zbMATH DE number 2090019

MaRDI QIDQ4808686zbMATH OpenFDO

Authors Kevin Backhouse, Roland C. Backhouse

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2386/23860023.htm

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Safety of abstract interpretations for free, via logical relations and Galois connections
• Static Analysis
• scientific article; zbMATH DE number 4008457
• Pair algebras and Galois connections.
• Prelogical relations

Cited in

(17)

• Prelogical relations
• On the antisymmetry of Galois embeddings
• Constructive Galois connections
• Safety of abstract interpretations for free, via logical relations and Galois connections
• scientific article; zbMATH DE number 1670816 (Why is no real title available?)
• A calculus of logical relations for over- and underapproximating static analyses
• Pair algebras and Galois connections.
• scientific article; zbMATH DE number 2149944 (Why is no real title available?)
• scientific article; zbMATH DE number 4145879 (Why is no real title available?)
• Static Analysis
• Extracting program logics from abstract interpretations defined by logical relations
• scientific article; zbMATH DE number 1670499 (Why is no real title available?)
• Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
• scientific article; zbMATH DE number 6787684 (Why is no real title available?)
• On constructivity of Galois connections
• Galois connections in categorial type logic
• scientific article; zbMATH DE number 2087342 (Why is no real title available?)

This page was built for publication:

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