Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings: 173 - Brossura

Kahn, G.; Plotkin, G.; MacQueen, D. B.

Brossura

ISBN 10: 3540133461 ISBN 13: 9783540133469

Casa editrice: Springer, 2008

Riassunto

Proceedings of the International Symposium on the Semantics of Data Types.

Su questo libro

Contenuti

A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540133461
• ISBN 13: 9783540133469
• Rilegatura: Copertina flessibile
• Numero di pagine: 404
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania