ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

دانلود کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، IFL 2004 ، لوبک ، آلمان ، 8-10 سپتامبر 2004 نسخه های تجدید نظر شده

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

مشخصات کتاب

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 3474 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783540260943, 9783540320388 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 236 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، IFL 2004 ، لوبک ، آلمان ، 8-10 سپتامبر 2004 نسخه های تجدید نظر شده: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها



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

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


در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، IFL 2004 ، لوبک ، آلمان ، 8-10 سپتامبر 2004 نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، IFL 2004 ، لوبک ، آلمان ، 8-10 سپتامبر 2004 نسخه های تجدید نظر شده



شانزدهمین کارگاه بین المللی پیاده سازی و کاربرد زبان های آینده (IFL 2004) در Lub ¨ eck، آلمان، 8 تا 10 سپتامبر 2004 برگزار شد. این کارگاه به طور مشترک توسط موسسه علوم کامپیوتر و ریاضیات کاربردی سازماندهی شد. دانشگاه کیل و موسسه فناوری نرم افزار و زبان های برنامه نویسی دانشگاه لوب ¨ eck. IFL 2004 شانزدهمین رویداد از سری کارگاه های سالانه IFL بود. هدف از مجموعه کارگاه ها گرد هم آوردن محققانی است که به طور فعال در پیاده سازی و کاربرد زبان های برنامه نویسی کاربردی و مبتنی بر عملکرد درگیر هستند. این یک انجمن آزاد برای محققانی فراهم می کند که مایل به ارائه و بحث در مورد ایده ها و مفاهیم جدید، کارهای در حال انجام، نتایج اولیه و غیره هستند که عمدتاً، اما نه منحصراً، به پیاده سازی و کاربرد زبان های کاربردی مرتبط هستند. موضوعات مورد علاقه طیف گسترده ای از نظری - جنبه های طراحی و پیاده سازی زبان تا برنامه های کاربردی و پشتیبانی ابزار را پوشش می دهد. کارگاه های قبلی IFL در بریتانیا (ساوتهمپتون، نورویچ، لندن، سنت اندروز و ادینبورگ)، در هلند (نایمگن و لوخم)، در آلمان (آخن و بن)، در سوئد (B? astad و Stoholm) برگزار شد. و در اسپانیا (مادرید). در سال 2005، هفدهمین کارگاه بین المللی در مورد پیاده سازی و کاربرد زبان های کاربردی در دوبلین، ایرلند برگزار خواهد شد.


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

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B? astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.



فهرست مطالب

Front Matter....Pages -
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations....Pages 1-16
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications....Pages 17-34
A Functional Programming Technique for Forms in Graphical User Interfaces....Pages 35-51
A Rational Deconstruction of Landin’s SECD Machine....Pages 52-71
Explaining ML Type Errors by Data Flows....Pages 72-89
V → M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions....Pages 90-107
A Virtual Machine for Functional Logic Computations....Pages 108-125
Source-Based Trace Exploration....Pages 126-141
Shrinking Reductions in SML.NET....Pages 142-159
Dynamic Construction of Generic Functions....Pages 160-176
Reasoning About Deterministic Concurrent Functional I/O....Pages 177-194
General Homomorphic Overloading....Pages 195-210
Simple, Effective Code-Size Reduction for Functional Programs....Pages 211-225
Back Matter....Pages -




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