Umfang:
Online-Ressource (VI, 391 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540388913
Serie:
Lecture notes in computer science 173
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540133461
Weitere Ausg.:
ISBN 0387133461
Weitere Ausg.:
ISBN 9783540133469
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Semantics of data types Berlin : Springer, 1984 ISBN 3540133461
Weitere Ausg.:
ISBN 0387133461
Sprache:
Englisch
Schlagwort(e):
Datentyp
;
Semantik
;
Semantik
;
Abstrakter Datentyp
;
Konferenzschrift
DOI:
10.1007/3-540-13346-1
URL:
Volltext
(lizenzpflichtig)
