Cylindric Kleene lattices for program construction

DOI10.1007/978-3-030-33636-3_8zbMath1434.68105OpenAlexW2979684009MaRDI QIDQ2176678

Georg Struth, Brijesh Dongol, Larissa A. Meinicke, Ian J. Hayes

Publication date: 5 May 2020

Full work available at URL: http://epubs.surrey.ac.uk/852438/1/Cylindric%20Kleene%20Lattices%20for%20Program%20Construction.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Automated Algebraic Reasoning for Collections and Local Variables with Lenses

This page was built for publication: Cylindric Kleene lattices for program construction