عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540388915
(Number (ISBN
9783540388913
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565917
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Semantics of data types :
General Material Designation
[Book]
Other Title Information
international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
First Statement of Responsibility
edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1984
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(vi, 391 pages) : illustrations
SERIES
Series Title
Lecture notes in computer science, 173.
GENERAL NOTES
Text of Note
Proceedings of the International Symposium on the Semantics of Data Types."The symposium was sponsored by IFIP and EATCS"--Foreword.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Data structures (Computer science) -- Congresses.
Langages de programmation -- Sémantique -- Congrès.
Programming languages (Electronic computers) -- Semantics -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
D B MacQueen
European Association for Theoretical Computer Science.
G Kahn
G Plotkin
International Federation for Information Processing.
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
