The generic development language. Presentation and case studies

zbMath0788.68003MaRDI QIDQ690318

Martin Simons, Christine Lafontaine, Matthias Weber

Publication date: 18 November 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

toolsformal specification\(\lambda\)-calculusprogram developmentautomatic programmingDevahigher-order typedVDM specification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items

An approach to literate and structured formal developments ⋮ Structured calculational proof