Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68021OpenAlexW2492557863MaRDI QIDQ5313104

Hitoshi Furusawa

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)