دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Alfredo Cristóbal-Salas, Andrey Chernykh (auth.), Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder (eds.) سری: 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 مگابایت
کلمات کلیدی مربوط به کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و استفاده از زبان های کاربردی: شانزدهمین کارگاه بین المللی ، 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 -