The generic development language. Presentation and case studies

zbMATH Open0788.68003MaRDI QIDQ690318FDOQ690318

Authors: Matthias Weber, Martin Simons, Christine Lafontaine 

Publication date: 18 November 1993

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

Recommendations

• Definition and basic properties of the Deva meta-calculus
• scientific article; zbMATH DE number 1107134
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 46957
• scientific article; zbMATH DE number 595218

zbMATH Keywords

tools\(\lambda\)-calculusformal specificationprogram developmentautomatic programmingDevahigher-order typedVDM specification

Mathematics Subject Classification ID

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

Cited In (5)

• Definition and basic properties of the Deva meta-calculus
• An approach to literate and structured formal developments
• Title not available (Why is that?)
• Structured calculational proof
• Title not available (Why is that?)

This page was built for publication: The generic development language. Presentation and case studies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690318)