ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

دانلود کتاب زبان ها و سیستم های برنامه نویسی — ESOP '96: ششمین سمپوزیوم اروپایی در زمینه برنامه نویسی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

مشخصات کتاب

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 1058 
ISBN (شابک) : 9783540610557, 9783540499428 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1996 
تعداد صفحات: 414 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 33,000



کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی — ESOP '96: ششمین سمپوزیوم اروپایی در زمینه برنامه نویسی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی — ESOP '96: ششمین سمپوزیوم اروپایی در زمینه برنامه نویسی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی — ESOP '96: ششمین سمپوزیوم اروپایی در زمینه برنامه نویسی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات



این کتاب مقالات داوری ششمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP '96، برگزار شده در لینشوپینگ، سوئد، در آوریل 1996 را ارائه می‌کند. همچنین مقالات دعوت شده توسط کلیف بی جونز و سایمون ال پیتون جونز گنجانده شده است. این کتاب به مسائل اساسی در مشخصات، تجزیه و تحلیل و پیاده سازی زبان ها و سیستم های برنامه نویسی اختصاص دارد. تأکید بر مسائل پژوهشی است که شکاف بین نظریه و عمل را پر می کند. از جمله موضوعاتی که به آنها پرداخته می شود عبارتند از مشخصات و تأیید نرم افزار، پارادایم های برنامه نویسی، معناشناسی برنامه، سیستم های نوع پیشرفته، تجزیه و تحلیل برنامه، تبدیل برنامه، و تکنیک های پیاده سازی.


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

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.



فهرست مطالب

Some practical problems and their influence on semantics....Pages 1-17
Compiling Haskell by program transformation: A report from the trenches....Pages 18-44
Narrowing-driven partial evaluation of functional logic programs....Pages 45-61
A multiple-valued logical semantics for Prolog....Pages 62-76
Removing value encoding using alternative values in partial evaluation of strongly-typed languages....Pages 77-91
A complete transformational toolkit for compilers....Pages 92-107
Global analysis of standard Prolog programs....Pages 108-124
Static detection of pointer errors: An axiomatisation and a checking algorithm....Pages 125-140
Compositional optimization of disjunctive abstract interpretations....Pages 141-155
A rewriting logic for declarative programming....Pages 156-172
Durations for truly-concurrent transitions....Pages 173-187
Flow analysis in the Geometry of Interaction....Pages 188-203
Parametricity and unboxing with unpointed types....Pages 204-218
Modular denotational semantics for compiler construction....Pages 219-234
Compositional semantics of non-deterministic synchronous languages....Pages 235-249
Checking system properties via integer programming....Pages 250-264
Efficient minimization up to location equivalence....Pages 265-279
A new approach to compiling adaptive programs....Pages 280-295
Mode and termination checking for higher-order logic programs....Pages 296-310
Linear time hierarchies for a functional language machine model....Pages 311-325
Integer constraints to stop deforestation....Pages 326-340
Towards an ML-style polymorphic type system for C....Pages 341-355
Assumption/commitment rules for dataflow networks — with an emphasis on completeness....Pages 356-372
Towards an expressive language for PDE solvers....Pages 373-386
Rewrite systems with abstraction and β-rule: Types, approximants and normalization....Pages 387-403




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی