A systematic study of models of abstract data types
Theoretical Computer Science
Key extensions of abstract data types, final algebras, and database semantics
Proceedings of a tutorial and workshop on Category theory and computer programming
From data types to object types
Journal of Information Processing and Cybernetics
Specification of abstract data types
Specification of abstract data types
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
Parameterized Data Types in Algebraic Specification Languages (Short Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Algebraic (?) Specification of Conceptual Database Schemata
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Proceedings of the International Conference on Mathematical Studies of Information Processing
Local Specification of Distributed Families of Sequential Objects
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
A Categorial Theory of Objects as Observed Processes
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
The category-theoretic solution of recursive domain equations
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
The 20th WADT 2010 is put into perspective by giving afterglows of the 1st WADT 1982 in Langscheid near Dortmund, and the 10th WADT 1994 in Santa Margherita near Genova. First encounters with pioneers in the field are recalled, in particular with the ADJ group who initiated the initial-algebra approach. The author's contributions at that time are put in this context. Around 1982, the emphasis of his work moved to databases and information systems, in particular conceptual modeling. His group used a triple of layers to model information systems, data--objects--systems, where the focus of interest now was on objects and systems. The interest in data issues paled in comparison. There were cases, however, where benefits could be drawn from the early work on ADTs and the foundations established in this field.