Label algebras and exception handling

DOI10.1016/0167-6423(94)00021-2zbMath0830.68089OpenAlexW2066455918MaRDI QIDQ1346685

Pascale Le Gall, Marc Aiguier, Gilles Bernot

Publication date: 10 April 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00021-2

zbMATH Keywords

exception algebrasexception specificationslabel algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Structures for abstract rewriting ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives