دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
دانلود کتاب برنامه نویسی عمومی: برنامه نویسی کنفرانس کاری IFIP TC2 / WG2.1 11-12 ژوئیه، 2002، Dagstuhl، آلمان
مشخصات کتاب
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
ویرایش: 1 نویسندگان: Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.) سری: IFIP — The International Federation for Information Processing 115 ISBN (شابک) : 9781475753202, 9780387356723 ناشر: Springer US سال نشر: 2003 تعداد صفحات: 246 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب برنامه نویسی عمومی: برنامه نویسی کنفرانس کاری IFIP TC2 / WG2.1 11-12 ژوئیه، 2002، Dagstuhl، آلمان: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، نظریه محاسبات، ساختارهای داده، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی عمومی: برنامه نویسی کنفرانس کاری IFIP TC2 / WG2.1 11-12 ژوئیه، 2002، Dagstuhl، آلمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی عمومی: برنامه نویسی کنفرانس کاری IFIP TC2 / WG2.1 11-12 ژوئیه، 2002، Dagstuhl، آلمان
برنامه نویسی عمومی در مورد ایجاد سازگاری بیشتر برنامه ها از طریق عمومی کردن آنها است. برنامه های عمومی اغلب انواع غیر سنتی چندشکلی را در بر می گیرند. برنامه های معمولی با نمونه سازی مناسب پارامترهای آنها از آنها به دست می آید. برخلاف برنامه های معمولی، پارامترهای یک برنامه عمومی اغلب از نظر ساختار بسیار غنی هستند. به عنوان مثال، آنها ممکن است برنامه های دیگر، نوع یا سازنده نوع، سلسله مراتب کلاس یا حتی پارادایم های برنامه نویسی باشند.
تکنیک‌های برنامه‌نویسی عمومی همیشه مورد توجه پزشکان و نظریه‌پردازان بوده‌اند، اما اخیراً تکنیک‌های برنامه‌نویسی عمومی به کانون تحقیقاتی خاص در جوامع زبان برنامه‌نویسی تابعی و شی‌گرا تبدیل شده‌اند.
برنامه نویسی عمومی شامل مجموعه مقالات ویرایش شده کنفرانس کاری برنامه نویسی عمومی است که توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت مالی شد و در داگستول، آلمان در ژوئیه 2002 برگزار شد. با مشارکت محققان برجسته در سراسر جهان، این جلد وضعیت هنر را در این منطقه مهم در حال ظهور به تصویر می کشد.
توضیحاتی درمورد کتاب به خارجی
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities.
Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
فهرست مطالب
Front Matter....Pages i-ix
Generic Programming within Dependently Typed Programming....Pages 1-20
Generic H∀SKELL, Specifically....Pages 21-47
Generic Accumulations....Pages 49-78
A Generic Algorithm for Minimum Chain Partitioning....Pages 79-88
Concrete Generic Functionals....Pages 89-119
Discussion: The Rôle of Types in Generic Programming....Pages 121-126
Making the Usage of STL Safe....Pages 127-140
Static Data Structures....Pages 141-169
Adaptive Extensions of Object-Oriented Systems....Pages 171-186
Complete Traversals as General Iteration Patterns....Pages 187-206
Efficient Implementation of Run-time Generic Types for Java....Pages 207-236
Discussion: Views of Genericity....Pages 237-242
