scientific article
From MaRDI portal
Publication:3960106
zbMath0496.68010MaRDI QIDQ3960106
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallel programmingfirst order logicinteractive programmingmodel constructionsdescriptive languagenondeterministic programmingmodifications of completeness
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) General topics in the theory of software (68N01)
Related Items (4)
Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ Weak second order characterizations of various program verification systems ⋮ Total correctness in nonstandard logics of programs
This page was built for publication:
