Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722): Difference between revisions

Latest revision as of 16:49, 30 July 2024

scientific article; zbMATH DE number 7611253

Language	Label	Description	Also known as
English	Compositionality results for different types of parameterization and parameter passing in specification languages	scientific article; zbMATH DE number 7611253

Statements

instance of

scholarly article

0 references

title

Compositionality results for different types of parameterization and parameter passing in specification languages (English)

0 references

0 references

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

2 November 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-56610-4_54

0 references

cites work

Q2736338

0 references

Q3906394

0 references

Some fundamental algebraic tools for the semantics of computation. III: Indexed categories

0 references

Module algebra

0 references

Q3917480

0 references

Parameter passing in algebraic specification languages

0 references

0 references

0 references

0 references

0 references

Institutions: abstract model theory for specification and programming

0 references

Q3923580

0 references

Toward formal development of programs from algebraic specifications: Parameterisation revisited

0 references

Q3954805

0 references

Q3666260

0 references

Data Type Specification: Parameterization and the Power of Specification Techniques

0 references

Structured algebraic specifications: A kernel language

0 references

Identifiers

zbMATH Open document ID

1497.68296

0 references

DOI

10.1007/3-540-56610-4_54

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5044722

@@ Property / cites work @@
+Q2736338
@@ Property / cites work: Q2736338 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917480
@@ Property / cites work: Q3917480 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter passing in algebraic specification languages
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3031906
@@ Property / cites work: Q3031906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3923580
@@ Property / cites work: Q3923580 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q3954805
@@ Property / cites work: Q3954805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank