scientific article; zbMATH DE number 2087342

MaRDI QIDQ4738112zbMATH OpenFDO

Authors Roland C. Backhouse

Publication date 11 August 2004

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

zbMATH Keywords

tutorial

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Fixed-point calculus
• A proof of Tarski's fixed point theorem by application of Galois connections
• scientific article; zbMATH DE number 4008457
• scientific article; zbMATH DE number 2090019
• scientific article; zbMATH DE number 2087339

Cited in

(19)

• CPS-translation as adjoint
• Markov chains and Markov decision processes in Isabelle/HOL
• Fixed points and closure operators: Programmological aspects
• Programming from Galois connections
• A proof of Tarski's fixed point theorem by application of Galois connections
• Components and acyclicity of graphs. An exercise in combining precision with concision
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• An exercise on transition systems
• Programming from Galois connections
• scientific article; zbMATH DE number 512950 (Why is no real title available?)
• Tabling with sound answer subsumption
• scientific article; zbMATH DE number 2087339 (Why is no real title available?)
• Probabilistic rely-guarantee calculus
• Extended Static Checking by Calculation Using the Pointfree Transform
• Abstract representation theorems for demonic refinement algebras
• Fixed-point calculus
• ConcurrentHOL
• Algebraic neighbourhood logic
• Dual unbounded nondeterminacy, recursion, and fixpoints

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 Q4738112)