scientific article; zbMATH DE number 3872646
From MaRDI portal
Publication:3339253
zbMATH Open0547.68011MaRDI QIDQ3339253FDOQ3339253
Authors: Manfred Broy 
Publication date: 1984
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
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)
