scientific article; zbMATH DE number 3628378

MaRDI QIDQ4190132zbMATH OpenFDO

Authors Peter Ecsedi-Toth

Publication date 1978

zbMATH Keywords

Formal SystemIntensional Logic of ActionsProgramming LanguageSemantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

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

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 Q4190132)