scientific article; zbMATH DE number 3688692

MaRDI QIDQ3883472zbMATH OpenFDO

Authors István Németi, Ildikó Sain, Hajnal Andréka

Publication date 1979

zbMATH Keywords

program verificationsemantics of program schemes

Mathematics Subject Classification ID

General logic (03B99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Non-standard algorithmic and dynamic logic
• A complete logic for reasoning about programs via nonstandard model theory. I
• 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 Q3883472)