Exception Handling: Formal Specification and Systematic Program Construction

DOI10.1109/TSE.1985.232207zbMath0559.68025MaRDI QIDQ5184387

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

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

abstract data typeserror handlingdecomposition schemesprogram construction methodPLUSSalgebraic specification language

Mathematics Subject Classification ID

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

Related Items

Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives