عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540388915
شابک
9783540388913
شماره کتابشناسی ملی
شماره
b565917
عنوان و نام پديدآور
عنوان اصلي
Semantics of data types :
نام عام مواد
[Book]
ساير اطلاعات عنواني
international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
نام نخستين پديدآور
edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1984
مشخصات ظاهری
نام خاص و کميت اثر
(vi, 391 pages) : illustrations
فروست
عنوان فروست
Lecture notes in computer science, 173.
يادداشت کلی
متن يادداشت
Proceedings of the International Symposium on the Semantics of Data Types."The symposium was sponsored by IFIP and EATCS"--Foreword.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Data structures (Computer science) -- Congresses.
موضوع مستند نشده
Langages de programmation -- Sémantique -- Congrès.
موضوع مستند نشده
Programming languages (Electronic computers) -- Semantics -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
D B MacQueen
مستند نام اشخاص تاييد نشده
European Association for Theoretical Computer Science.
مستند نام اشخاص تاييد نشده
G Kahn
مستند نام اشخاص تاييد نشده
G Plotkin
مستند نام اشخاص تاييد نشده
International Federation for Information Processing.
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
