A systematic study of models of abstract data types (Q801667): Difference between revisions

The term-generated models of an abstract data type can be represented by congruence relations on the term algebra. Total and partial heterogeneous algebras are considered as models of hierarchical abstract data types. Particular classes of models are studied and it is investigated under which conditions they form a complete lattice. This theory allows also to describe programming languages (and their semantic models) by abstract types. As example we present a simple deterministic stream processing language.

0 references

zbMATH Keywords

abstract data type

0 references

Total and partial heterogeneous algebras

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0304-3975(84)90086-0

0 references

cites work

Parallel realization of systems, using factorizations and quotients in categories

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Partial abstract types

0 references

Q3672054

0 references

Q4190110

0 references

Q3667921

0 references

Programming in a wide spectrum language: A collection of examples

0 references

Abstraction mechanisms in CLU

0 references

0 references

0 references

0 references

0 references

0 references

The algebraic specification of abstract data types

0 references

Q4184295

0 references

On sentences which are true of direct unions of algebras

0 references

Q5581665

0 references

Fully abstract models of typed \(\lambda\)-calculi

0 references

Q5637893

0 references

Q5603094

0 references

Abstract data types and algebraic semantics of programming languages

0 references

0 references

0 references

0 references

0 references

First-order identities as a defining language

0 references

Final algebra semantics and data type extensions

0 references

Q3883462

0 references

On hierarchies of abstract data types

0 references

Identifiers

zbMATH Open document ID

0552.68010

0 references

DOI

10.1016/0304-3975(84)90086-0

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:801667

@@ Property / cites work @@
+Parallel realization of systems, using factorizations and quotients in categories
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199499
@@ Property / cites work: Q4199499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322163
@@ Property / cites work: Q3322163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198051
@@ Property / cites work: Q4198051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3662598
@@ Property / cites work: Q3662598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871894
@@ Property / cites work: Q3871894 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3672054
@@ Property / cites work: Q3672054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667921
@@ Property / cites work: Q3667921 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in a wide spectrum language: A collection of examples
+Normal rank
@@ Property / cites work @@
+Abstraction mechanisms in CLU
@@ Property / cites work: Abstraction mechanisms in CLU / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151143
@@ Property / cites work: Q4151143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178466
@@ Property / cites work: Q4178466 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q4184295
@@ Property / cites work: Q4184295 / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q5637893
@@ Property / cites work: Q5637893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603094
@@ Property / cites work: Q5603094 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and algebraic semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q4184294
@@ Property / cites work: Q4184294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order identities as a defining language
@@ Property / cites work: First-order identities as a defining language / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883462
@@ Property / cites work: Q3883462 / rank @@
+Normal rank
@@ Property / cites work @@
+On hierarchies of abstract data types
@@ Property / cites work: On hierarchies of abstract data types / rank @@
+Normal rank