scientific article; zbMATH DE number 51717

MaRDI QIDQ4002107zbMATH OpenFDO

Authors

Publication date 18 September 1992

zbMATH Keywords

automatic program synthesisautomating standard derivation tasksConferencePacific Grove, CA (USA)Proceedingsprogram derivationprogram transformationrapid prototypingspecification techniqueSpecificationstheory of recursive data types

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4043304
• scientific article; zbMATH DE number 194510
• Formalized program specifications and transformation synthesis
• Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings

Cited in

(8)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings
• Program derivation by fixed point computation
• Formalized program specifications and transformation synthesis
• Assertions and recursions
• scientific article; zbMATH DE number 194510 (Why is no real title available?)
• Determinisation of relational substitutions in ordered categories with domain
• Synthesis of implementations for divide-and-conquer specifications

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 Q4002107)