Partially defined computer instructions and guards

DOI10.1016/j.scico.2008.06.001zbMath1156.68018OpenAlexW2047635521MaRDI QIDQ941470

Ward Douglas Maurer

Publication date: 1 September 2008

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

Full work available at URL: https://doi.org/10.1016/j.scico.2008.06.001

zbMATH Keywords

guardscomputer expressionscomputer instructionspartially defined functions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Simple section interchange and properties of non-computable functions

This page was built for publication: Partially defined computer instructions and guards