scientific article
From MaRDI portal
Publication:3938526
zbMath0479.68082MaRDI QIDQ3938526
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagemetatheoryHoare semanticssemantic specificationsScott's semanticsDijkstra's semanticsfixed points of operators on complete latticesmeaning of programssemantic descriptions
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)
This page was built for publication: