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

DOI10.1007/3-540-55210-3_169MaRDI QIDQ5096765zbMATH OpenOpenAlexFDO

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

Recommendations

• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• scientific article; zbMATH DE number 139991
• scientific article; zbMATH DE number 8787
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• scientific article; zbMATH DE number 2172806

Cites work

• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic specification of concurrent systems
• Algebraic system specification and development. A survey and annotated bibliography
• Exception Handling: Formal Specification and Systematic Program Construction
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• scientific article; zbMATH DE number 4172406 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3876564 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3999262 (Why is no real title available?)
• Label algebras and exception handling
• Report on the Larch shared language
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(5)

• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• Proof systems for structured specifications with observability operators
• A Structure-Exploiting Tool in Algebraic Modeling Languages
• Towards Modular Algebraic Specifications for Pointer Programs: A Case Study
• scientific article; zbMATH DE number 139991 (Why is no real title available?)

This page was built for publication: Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096765)