The generic development language. Presentation and case studies

zbMATH Open0788.68003MaRDI QIDQ690318FDOQ690318

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

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 (4)

• 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

   Recommendations

• Definition and basic properties of the Deva meta-calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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)