Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
From MaRDI portal
Publication:5096765
DOI10.1007/3-540-55210-3_169zbMATH Open1493.68229OpenAlexW1563875108MaRDI QIDQ5096765FDOQ5096765
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Title not available (Why is that?)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Title not available (Why is that?)
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Report on the Larch shared language
- Title not available (Why is that?)
- Algebraic specification of concurrent systems
- Title not available (Why is that?)
- Algebraic system specification and development. A survey and annotated bibliography
- Label algebras and exception handling
- Exception Handling: Formal Specification and Systematic Program Construction
Cited In (5)
- Title not available (Why is that?)
- 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
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)
