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

DOI10.1007/3-540-55210-3_169zbMath1493.68229OpenAlexW1563875108MaRDI QIDQ5096765

Marie-Claude Gaudel

Publication date: 18 August 2022

Published in: STACS 92 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55210-3_169

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Proof systems for structured specifications with observability operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic specification of concurrent systems
• Report on the Larch shared language
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• Algebraic system specification and development. A survey and annotated bibliography
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Label algebras and exception handling
• Exception Handling: Formal Specification and Systematic Program Construction