دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.) سری: Lecture Notes in Computer Science 300 ISBN (شابک) : 3540190279, 9783540190271 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 383 [386] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ESOP '88: دومین سمپوزیوم اروپایی در برنامه نویسی نانسی، فرانسه، 21 تا 24 مارس 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل 23 مقاله انتخاب شده برای ارائه در کنفرانس ESOP '88، نانسی 1988 است. موضوع کنفرانس ESOP طراحی، مشخصات و پیاده سازی زبان ها و سیستم های برنامه نویسی است. تاکید ویژه بر کاری است که در آن یک سیستم پیادهسازی شده مفهوم مهم یا مدل رسمی برنامهنویسی را به گونهای که سودمندی آن نشان داده شود، مجسم میکند. از میان پنج بخش این جلد، بخش مربوط به اجرای زبان دارای بیشترین مقاله است. در اینجا طیف نسبتاً گسترده ای از جنبه ها، از مشکلات پیاده سازی زبان در معماری های موازی و بهینه سازی برنامه های کاربردی تا مفاهیم جدید برای محیط های برنامه نویسی پوشش داده شده است. بخش بزرگ دیگر شامل مقالاتی در زمینه مشخصات جبری و مفاهیم نوع است. مقالات این بخش به موضوعاتی مانند چندشکلی، انواع فرعی و مفاهیم پیاده سازی و استفاده مجدد برای مشخصات جبری اختصاص دارد. دو بخش دیگر به مفاهیم زبان جدید و رویکردهای جدید برای توسعه و تأیید برنامه اختصاص داده شده است.
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
Semantics-based program integration....Pages 1-20
A semantics driven temporal verification system....Pages 21-33
Algebraic formalisation of program development by transformation....Pages 34-48
QPC: QJ-based proof compiler -simple examples and analysis-....Pages 49-63
Implementation of modular algebraic specifications....Pages 64-78
A polymorphic type system with subtypes for Prolog....Pages 79-93
Type inference with subtypes....Pages 94-114
A theory of software reusability....Pages 115-130
Parametric overloading in polymorphic programming languages....Pages 131-144
Programming with proofs: A second order type theory....Pages 145-159
An exception handling construct for functional languages....Pages 160-174
A functional language for the specification of complex tree transformations....Pages 175-190
Garp: Graph abstractions for concurrent programming....Pages 191-205
Extending functional programming towards relations....Pages 206-220
Perfect pipelining: A new loop parallelization technique....Pages 221-235
New insights into partial evaluation: the SCHISM experiment....Pages 236-246
Code selection techniques: Pattern matching, tree parsing, and inversion of derivors....Pages 247-268
Adding relational query facilities to software development environments....Pages 269-283
Compilation of logic programs for restricted and-parallelism....Pages 284-297
Implementation of lazy pattern matching algorithms....Pages 298-316
Enhancing Prolog to support Prolog programming environments....Pages 317-327
2-Level λ-lifting....Pages 328-343
Deforestation: Transforming programs to eliminate trees....Pages 344-358
On implementing logic programming languages on a dataflow architecture....Pages 359-372
The PSG system: From formal language definitions to interactive programming environments....Pages 373-375
LPG: A generic, logic and functional programming language....Pages 376-377
CEC: A system for the completion of conditional equational specifications....Pages 378-379
A functional language for the specification of complex tree transformations....Pages 380-380