A relational calculus for program construction by parts

DOI10.1016/0167-6423(95)00028-3zbMath0852.68014OpenAlexW2059487638MaRDI QIDQ1916368

Marc Frappier, Ali Milli, Jules Desharnais

Publication date: 3 July 1996

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(95)00028-3

zbMATH Keywords

program construction by parts

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (3)

Joining specification statements ⋮ Semantic distance between specifications ⋮ Parallel composition and decomposition of specifications

This page was built for publication: A relational calculus for program construction by parts