scientific article; zbMATH DE number 3872655

zbMATH Open0547.68020MaRDI QIDQ3339261FDOQ3339261

Peter Pepper

Publication date: 1984

Title of this publication is not available (Why is that?)

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

Cited In (30)

• Essential concepts of algebraic specification and program development
• Title not available (Why is that?)
• Algebraic specifications are not difficult to write
• Title not available (Why is that?)
• Denotational engineering
• Algebraic specification and proof of a distributed recovery algorithm
• Views of queues
• Title not available (Why is that?)
• Computer aided fusion for algebraic program derivation
• From informal requirements to a running program: A case study in algebraic specification and transformational programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combining algebraic specifications and procedural tools for correct program development
• Title not available (Why is that?)
• A constructive method for abstract algebraic software specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic and functional specification of an interactive serializable database interface
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic implementations preserve program correctness
• 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 Q3339261)