scientific article

zbMath0479.68082MaRDI QIDQ3938526

Mila E. Majster-Cederbaum

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagemetatheoryHoare semanticssemantic specificationsScott's semanticsDijkstra's semanticsfixed points of operators on complete latticesmeaning of programssemantic descriptions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

A simple relation between relational and predicate transformer semantics for nondeterministic programs

This page was built for publication: