scientific article; zbMATH DE number 962431
From MaRDI portal
Publication:5690696
Recommendations
- Algorithmic data structure algebras and multilevel program design
- Algorithmic specifications: a constructive specification method for abstract data types
- scientific article; zbMATH DE number 223549
- scientific article; zbMATH DE number 1541629
- An algebraic approach to formalization of object-orientation*
Cited in
(11)- Algorithmic data structure algebras and multilevel program design
- Object-oriented programming and abstract data types
- Locally effective objects and artificial intelligence
- A simple and general theoretical account for abstract types
- scientific article; zbMATH DE number 2079846 (Why is no real title available?)
- scientific article; zbMATH DE number 1759393 (Why is no real title available?)
- scientific article; zbMATH DE number 3894455 (Why is no real title available?)
- scientific article; zbMATH DE number 223549 (Why is no real title available?)
- A design proposal for an object oriented algebraic library
- Formal and practical aspects of implementing abstract data types in the prolog instruction
- Codata in action
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5690696)