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

MaRDI QIDQ684565zbMATH OpenFDO

Authors

Publication date 20 September 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

WorkshopAbstract data typesCOMPASS workshopData type specificationDourdan (France)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers
• Recent Trends in Data Type Specification
• Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers
• Recent trends in data type specification. 7th workshop on specification of abstract data types, Wusterhausen/Dosse, Germany, April 17--20, 1990. Proceedings
• Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings
• scientific article; zbMATH DE number 193310
• scientific article; zbMATH DE number 88946
• Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers
• scientific article; zbMATH DE number 408790
• Data type specification, parameterization and the power of specification techniques

Cited in

(2)

• Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers
• scientific article; zbMATH DE number 193310 (Why is no real title available?)

This page was built for publication: 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684565)