مشخصات کتاب

Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: James C. Dehnert,  Alexander Stepanov (auth.),  Mehdi Jazayeri,  Rüdiger G. K. Loos,  David R. Musser (eds.)  
سری: Lecture Notes in Computer Science 1766 
ISBN (شابک) : 3540410902, 9783540410904 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2000 
تعداد صفحات: 277 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامهنویسی عمومی: سمینار بینالمللی برنامهریزی عمومی، Castle Dagstuhl، Germany، April 27 to May 1، 1998. مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامهنویسی عمومی: سمینار بینالمللی برنامهریزی عمومی، Castle Dagstuhl، Germany، April 27 to May 1، 1998. مقالات انتخاب شده

این کتاب مجموعه مقالات پس از داوری کامل سمینار بین المللی برنامه نویسی عمومی است که در قلعه داگستول، آلمان در آوریل/مه 1998 برگزار شد.
20 مقاله کامل اصلاح شده برای گنجاندن در کتاب به دقت بررسی شدند. این مجموعه به عنوان اولین کتابی که به طور کامل به پارادایم جدید برنامه نویسی عمومی اختصاص دارد، بخش های موضوعی را در زمینه مبانی و مقایسه روش شناسی، روش برنامه نویسی، طراحی زبان و کاربردها ارائه می دهد.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.
The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications.

فهرست مطالب

Fundamentals of Generic Programming....Pages 1-11
Requirement Oriented Programming....Pages 12-24
Generative Programming and Active Libraries....Pages 25-39
The Refinement Relation of Graph-Based Generic Programs....Pages 40-52
The Construction Principles of the Class Library Karla ....Pages 53-68
Exception-Safety in Generic Components....Pages 69-79
Segmented Iterators and Hierarchical Algorithms....Pages 80-90
Theory and Generality of Complete Traversals....Pages 91-101
A Data Abstraction Alternative to Data Structure/Algorithm Modularization....Pages 102-113
Two Ways to Bake Your Pizza — Translating Parameterised Types into Java....Pages 114-132
SuchThat — Generic Programming Works....Pages 133-145
Software Development in PVS Using Generic Development Steps....Pages 146-161
Model Checking Generic Container Implementations....Pages 162-177
Mizar Correctness Proofs of Generic Fraction Field Arithmetic....Pages 178-191
Language Independent Container Specification....Pages 192-205
Applications of the Generic Programming Paradigm in the Design of CGAL....Pages 206-217
Generic Programming in POOMA and PETE....Pages 218-231
The STL Model in the Geometric Domain....Pages 232-248
Generic Graph Algorithms....Pages 249-255
A Generic Programming Environment for High-Performance Mathematical Libraries....Pages 256-267

نظرات کاربران

کتاب های مرتبط

دانلود کتاب Microsoft Office. Word 2003 Kompendium. Mit Texten professionell umgehen

دانلود کتاب Prolog programming for artificial intelligence

دانلود کتاب The Vue Handbook

دانلود کتاب Real World .NET CSharp and Silverlight

دانلود کتاب Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

دانلود کتاب Advanced Graphics Programming Techniques Using OpenGL

دانلود کتاب Object-oriented programming in Eiffel

دانلود کتاب Introduction to Game Programming: Using C# and Unity 3D

دانلود کتاب Cocoa Programming: A Quick-Start Guide for Developers (Pragmatic Programmers)

دانلود کتاب The art of computer programming III