A theory of interactive programming

DOI10.1007/BF00262972zbMath0478.68010OpenAlexW2051940228MaRDI QIDQ1161272

L. Ury, T. Gergely

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf00262972

zbMATH Keywords

completenesssemanticsprogramming languagefirst order logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) General topics in the theory of software (68N01)

Related Items (1)

A complete logic for reasoning about programs via nonstandard model theory. II

This page was built for publication: A theory of interactive programming