scientific article; zbMATH DE number 3872656
From MaRDI portal
Publication:3339264
zbMATH Open0547.68021MaRDI QIDQ3339264FDOQ3339264
Authors: Michel Bidoit, Brigitte Biebow, Christian Gresse, G. Guiho, Marie-Claude Gaudel 
Publication date: 1984
Title of this publication is not available (Why is that?)
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
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
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
- Regularity of relations: A measure of uniformity
- Algebraic specification of concurrent systems
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)
