scientific article; zbMATH DE number 3872646

MaRDI QIDQ3339253zbMATH OpenFDO

Authors Manfred Broy

Publication date 1984

zbMATH Keywords

Program constructionComputer-aided Intuition-guided Programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Building program construction and verification tools from algebraic principles
• Methods of programming. Selected papers on the CIP-project
• scientific article; zbMATH DE number 1207155
• An algebraic approach to schemes of structured programs
• Approach to the construction of algebraic models of algorithms and programs
• Program algebra and coprogram calculus
• Algebraic construction of compilers
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 1390330
• scientific article; zbMATH DE number 140016

Cited in

(7)

• Specification and top-down design of distributed systems
• A type-theoretic approach to program development
• Equational specification of partial higher-order algebras
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Methods of programming. Selected papers on the CIP-project
• Provably correct derivation of algorithms using FermaT
• scientific article; zbMATH DE number 4005584 (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 Q3339253)