Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings

MaRDI QIDQ790091zbMATH OpenFDO

Authors

Publication date 1984

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

zbMATH Keywords

Data typesProceedingsSemanticsSophia-Antipolis/FranceSymposium

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually under the abbreviation Semantics of data types, Proc. int. Symp., Sophia- Antipolis/France 1984, Lect. Notes Comput. Sci. 173.

Cited in

(5)

• Type checking with universes
• Static semantics, types, and binding time analysis
• 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?)
• 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: Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings

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