scientific article; zbMATH DE number 5185574

zbMATH Open1122.68038MaRDI QIDQ3596461FDOQ3596461

Authors: David A. Plaisted 

Publication date: 31 August 2007

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Concept of the abstract program
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract commands: A uniform notation for specification and implementation

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)