دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings
دانلود کتاب معناشناسی انواع داده: سمپوزیوم بین المللی سوفیا-آنتیپولیس، فرانسه، 27 تا 29 ژوئن 1984 مجموعه مقالات
مشخصات کتاب
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings
ویرایش: 1 نویسندگان: R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.) سری: Lecture Notes in Computer Science 173 ISBN (شابک) : 3540133461, 9783540133469 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1984 تعداد صفحات: 386 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب معناشناسی انواع داده: سمپوزیوم بین المللی سوفیا-آنتیپولیس، فرانسه، 27 تا 29 ژوئن 1984 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی انواع داده: سمپوزیوم بین المللی سوفیا-آنتیپولیس، فرانسه، 27 تا 29 ژوئن 1984 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
A kernel language for abstract data types and modules....Pages 1-50
A semantics of multiple inheritance....Pages 51-67
Understanding Russell a first attempt....Pages 69-85
A basic Abstract Semantic Algebra....Pages 87-107
Using information systems to solve reoursive domain equations effectively....Pages 109-129
The semantics of second order polymorphic lambda calculus....Pages 131-144
Polymorphism is not set-theoretic....Pages 145-156
A theory of data type representation independence....Pages 157-175
Abstract data types and their extensions within a constructive logic....Pages 177-195
Deriving structural induction in LCF....Pages 197-214
Executable specification of static semantics....Pages 215-233
Cartesian closed categories of enumerations for effective type structures....Pages 235-255
Type inference and type containment....Pages 257-277
F-semantics for intersection type discipline....Pages 279-300
The typechecking of programs with implicit type structure....Pages 301-315
Partial implementations of abstract data types: A dissenting view on errors....Pages 317-336
Building specifications in an arbitrary institution....Pages 337-356
A proof system for verifying composability of abstract implementations....Pages 357-374
Towards a proof theory of parameterized specifications....Pages 375-391
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Devil Will Come
دانلود کتاب Advances in Artificial Intelligence - IBERAMIA-SBIA 2006: 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings
