scientific article; zbMATH DE number 2090019

zbMATH Open1073.68570MaRDI QIDQ4808686FDOQ4808686

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

• Prelogical relations
• Constructive Galois connections
• On the antisymmetry of Galois embeddings
• Safety of abstract interpretations for free, via logical relations and Galois connections
• Title not available (Why is that?)
• A calculus of logical relations for over- and underapproximating static analyses
• Pair algebras and Galois connections.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Static Analysis
• Extracting program logics from abstract interpretations defined by logical relations
• Title not available (Why is that?)
• Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
• Title not available (Why is that?)
• On constructivity of Galois connections
• Galois connections in categorial type logic
• Title not available (Why is that?)

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)