Termination conventions and comparative semantics

DOI10.1007/BF00268842zbMath0631.68008MaRDI QIDQ1094864

Eric C. R. Hehner, Andrew J. Malton

Publication date: 1988

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

predicative semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (1)

An algebraic characterization of semantic independence

Cites Work

• Unnamed Item
• Predicative methodology
• A generalized control structure and its formal definition
• Predicative programming Part I

This page was built for publication: Termination conventions and comparative semantics