scientific article; zbMATH DE number 3872655

MaRDI QIDQ3339261zbMATH OpenFDO

Authors Peter Pepper

Publication date 1984

zbMATH Keywords

concurrencyalgebraic typesfunctional behaviour of software systemsstream-processing functions

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3936493
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• From informal requirements to a running program: A case study in algebraic specification and transformational programming
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 4213464

Cited in

(34)

• Algebraic implementations preserve program correctness
• Denotational engineering
• Programming with variable functions
• Combining algebraic specifications and procedural tools for correct program development
• Algebraic properties for free!
• Algebraic and functional specification of an interactive serializable database interface
• scientific article; zbMATH DE number 1390330 (Why is no real title available?)
• scientific article; zbMATH DE number 3972172 (Why is no real title available?)
• scientific article; zbMATH DE number 2143090 (Why is no real title available?)
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 4111989 (Why is no real title available?)
• scientific article; zbMATH DE number 3954252 (Why is no real title available?)
• Computer aided fusion for algebraic program derivation
• scientific article; zbMATH DE number 1860657 (Why is no real title available?)
• Algebraic specification and proof of a distributed recovery algorithm
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• From informal requirements to a running program: A case study in algebraic specification and transformational programming
• scientific article; zbMATH DE number 3936493 (Why is no real title available?)
• scientific article; zbMATH DE number 4110066 (Why is no real title available?)
• A constructive method for abstract algebraic software specification
• Algebraic specifications are not difficult to write
• Views of queues
• scientific article; zbMATH DE number 2062239 (Why is no real title available?)
• scientific article; zbMATH DE number 3936503 (Why is no real title available?)
• scientific article; zbMATH DE number 3898214 (Why is no real title available?)
• scientific article; zbMATH DE number 48697 (Why is no real title available?)
• scientific article; zbMATH DE number 6403889 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 3905828 (Why is no real title available?)
• Properties of quasiary specification algebras
• Programming with variable functions
• scientific article; zbMATH DE number 3890710 (Why is no real title available?)
• scientific article; zbMATH DE number 4080877 (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 Q3339261)