Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings. 1st ed. 1984

種類:

電子ブック

責任表示:

edited by G. Kahn, D.B. MacQueen, G. Plotkin

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984

著者名:

• Kahn, G.
• MacQueen, D.B.
• Plotkin, G.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 173

ISBN:

9783540388913 [3540388915]    

注記:

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 par

ローカル注記:

学内専用E-BOOKS (local access only)