Implementing specification freedoms

DOI10.1016/0167-6423(82)90010-7zbMath0497.68006OpenAlexW1492953877MaRDI QIDQ1170876

Philip E. London, Martin S. Feather

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90010-7

zbMATH Keywords

implementationformal specificationsconstructscorrectness-preserving transformationshigh-level specification constructsreliable software

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (1)

Operational specification with joint actions: Serializable databases

This page was built for publication: Implementing specification freedoms