scientific article; zbMATH DE number 3692622

MaRDI QIDQ3886835zbMATH OpenFDO

Authors T. Gergely, L. Ury

Publication date 1980

zbMATH Keywords

first order logicprogram behaviour specificationprogramming language

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(5)

• Non-standard algorithmic and dynamic logic
• A complete logic for reasoning about programs via nonstandard model theory. I
• A complete logic for reasoning about programs via nonstandard model theory. II
• Temporal theories as modularisation units for concurrent system specification
• Recursive programs and denotational semantics in absolute logics of programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3886835)