scientific article; zbMATH DE number 193310
From MaRDI portal
Publication:4040139
abstract data typesData typesdatabase programmingdatabase systemsparametric polymorphismPersistencepersistencepersistent languageProceedingsprogramming languagesemanticsWorkshop
Proceedings of conferences of miscellaneous specific interest (00B25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Data structures (68P05) Information storage and retrieval of data (68P20) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings
- Recents trends in data type specification. 8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop, Dourdan, France, August 26-30, 1991. Selected papers
- Recent Trends in Data Type Specification
- scientific article; zbMATH DE number 3911689
- Programs as data objects. Proceedings of a Workshop, Copenhagen, Denmark, October 17--19, 1985
- Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers
- scientific article; zbMATH DE number 1487738
- scientific article; zbMATH DE number 3854400
- A theory for program and data type specification
Cited in
(4)- scientific article; zbMATH DE number 1002577 (Why is no real title available?)
- Procedures as persistent data objects
- scientific article; zbMATH DE number 48610 (Why is no real title available?)
- Recents trends in data type specification. 8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop, Dourdan, France, August 26-30, 1991. Selected papers
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 Q4040139)
