How to make algebraic specifications more understandable: An experiment with the PLUSS specification language

DOI10.1016/0167-6423(89)90026-9zbMath0678.68011OpenAlexW2066925317MaRDI QIDQ1124317

A. Mauboussin, Michel Bidoit, Marie-Claude Gaudel

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0167-6423(89)90026-9

zbMATH Keywords

algebraic specificationPLUSS

Mathematics Subject Classification ID

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

Related Items

Essential concepts of algebraic specification and program development, Polymorphic syntax definition, Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives, Proof systems for structured specifications with observability operators, Formalizing a hierarchical file system, Algebraic specification of concurrent systems, OBSCURE, a specification language for abstract data types