Semantics of Data Types

Beschreibung

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Bestandsnummer des Verkäufers 9783540133469

Verkäufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Semantics of Data Types

Verlag

Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1984

Erscheinungsjahr

1984

Sprache

Englisch

ISBN-10

3540133461

ISBN-13

9783540133469

Einband

Taschenbuch

Zustand

Neu

Über diesen Titel