scientific article; zbMATH DE number 5185574

MaRDI QIDQ3596461zbMATH OpenFDO

Authors David A. Plaisted

Publication date 31 August 2007

zbMATH Keywords

program verificationprogram generation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4033047
• Concept of the abstract program
• Abstract interpretation as a programming language
• Systematic abstraction of abstract machines
• Abstract data type systems
• A system for axiomatic programming
• Program abstraction and instantiation
• scientific article; zbMATH DE number 3327828

Cited in

(4)

• Abstract commands: A uniform notation for specification and implementation
• Concept of the abstract program
• scientific article; zbMATH DE number 3858384 (Why is no real title available?)
• scientific article; zbMATH DE number 1538032 (Why is no real title available?)

This page was built for publication:

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