Programming from Galois Connections

DOI10.1007/978-3-642-21070-9_22zbMath1329.68079OpenAlexW2115926421MaRDI QIDQ3007585

Shin-Cheng Mu, José Nuno Oliveira

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/24608

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants

This page was built for publication: Programming from Galois Connections