Top-down design within a functional environment

DOI10.1002/SPE.4380141003zbMATH Open0542.68004OpenAlexW2028267081MaRDI QIDQ3330481FDOQ3330481

Authors: Philip Leith 

Publication date: 1984

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380141003

Recommendations

• Integrated tools for design and synthesis of classes of algorithms and programs
• Top-down design and the algebra of communicating processes
• scientific article; zbMATH DE number 4030949
• scientific article; zbMATH DE number 910721
• Parallel programming with a pattern language

zbMATH Keywords

functional programmingtop-down design

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Top-down design within a functional environment

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