Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765): Difference between revisions

Latest revision as of 21:43, 29 July 2024

scientific article; zbMATH DE number 7573016

Language	Label	Description	Also known as
English	Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives	scientific article; zbMATH DE number 7573016

Statements

instance of

scholarly article

0 references

title

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

0 references

published in

STACS 92

0 references

publication date

18 August 2022

0 references

author

Marie-Claude Gaudel

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-55210-3_169

0 references

cites work

Q3809232

0 references

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

0 references

Exception Handling: Formal Specification and Systematic Program Construction

0 references

Q3906394

0 references

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

0 references

Algebraic system specification and development. A survey and annotated bibliography

0 references

Label algebras and exception handling

0 references

Q3341871

0 references

Q3332238

0 references

Report on the Larch shared language

0 references

Q3197342

0 references

Algebraic specification of concurrent systems

0 references

Toward formal development of programs from algebraic specifications: Parameterisation revisited

0 references

Q4725720

0 references

Q3666260

0 references

Identifiers

zbMATH Open document ID

1493.68229

0 references

DOI

10.1007/3-540-55210-3_169

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5096765

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55210-3_169
+Normal rank
@@ Property / OpenAlex ID @@
+W1563875108
@@ Property / OpenAlex ID: W1563875108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809232
@@ Property / cites work: Q3809232 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
+Normal rank
@@ Property / cites work @@
+Exception Handling: Formal Specification and Systematic Program Construction
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
+Normal rank
@@ Property / cites work @@
+Algebraic system specification and development. A survey and annotated bibliography
+Normal rank
@@ Property / cites work @@
+Label algebras and exception handling
@@ Property / cites work: Label algebras and exception handling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341871
@@ Property / cites work: Q3341871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Report on the Larch shared language
@@ Property / cites work: Report on the Larch shared language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197342
@@ Property / cites work: Q3197342 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of concurrent systems
@@ Property / cites work: Algebraic specification of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q4725720
@@ Property / cites work: Q4725720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank