scientific article

From MaRDI portal

Publication:3038590

Jump to:navigation, search

zbMath0525.68001MaRDI QIDQ3038590

Cliff B. Jones, Dines Bjørner

Publication date: 1982

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

zbMATH Keywords

implementation refinement denotational semantics control structures syntax validation abstract data types VDM PASCAL rigorous approach Vienna development method VDL Vienna definition language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (8)

Functional sorts in data type specifications ⋮ A guided tour of the mathematics of MetaSoft '88 ⋮ A denotational semantics for the generalized ER model and a simple ER algebra ⋮ Manifest domains: analysis and description ⋮ ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING ⋮ A proof rule for while loop in VDM ⋮ Semantic essence of AsmL ⋮ A logic covering undefinedness in program proofs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3038590&oldid=16077755"