scientific article; zbMATH DE number 3872656

MaRDI QIDQ3339264zbMATH OpenFDO

Authors Michel Bidoit, Brigitte Biebow, Christian Gresse, G. Guiho, Marie-Claude Gaudel

Publication date 1984

zbMATH Keywords

program construction methodPLUSSalgebraic specification language

Mathematics Subject Classification ID

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

Recommendations

• Exception Handling: Formal Specification and Systematic Program Construction
• scientific article; zbMATH DE number 3881862
• scientific article; zbMATH DE number 3943002
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic and operational semantics of specifications allowing exceptions and errors

Cited in

(7)

• Exception Handling: Formal Specification and Systematic Program Construction
• A specification logic for exceptions and beyond
• Structured algebraic specifications: A kernel language
• Reasoning about multi-lingual exception handling using RIPLS
• Algebra and Coalgebra in Computer Science
• Algebraic specification of concurrent systems
• Regularity of relations: A measure of uniformity

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