Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173, Band 173) - Softcover

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

 
9783540133469: Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173, Band 173)
Softcover
ISBN 10: 3540133461 ISBN 13: 9783540133469
Verlag: Springer, 2008

Inhaltsangabe

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 theoryof parameterized specifications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540133461
ISBN 13 
9783540133469
Einband
Taschenbuch
Anzahl der Seiten
404
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland