ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

دانلود کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP99 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار برگزار می شود ، ETAPS99 آمستردام ، هلند ، 22-28 مارس 1999 مجموعه مقالات

Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

مشخصات کتاب

Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 1576 
ISBN (شابک) : 3540656995, 9783540656999 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 316 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP99 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار برگزار می شود ، ETAPS99 آمستردام ، هلند ، 22-28 مارس 1999 مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، ساختار داده ها



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

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


در صورت تبدیل فایل کتاب Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP99 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار برگزار می شود ، ETAPS99 آمستردام ، هلند ، 22-28 مارس 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: هشتمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP99 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار برگزار می شود ، ETAPS99 آمستردام ، هلند ، 22-28 مارس 1999 مجموعه مقالات



این دومین بار است که ESOP بخشی از خوشه ETAPS از کنفرانس ها، کارگاه ها، جلسات گروه کاری و سایر فعالیت های مرتبط را تشکیل می دهد. یکی از نتایج گردهمایی بسیاری از کنفرانس ها کاهش تعداد امکان ارسال مقاله به یک کنفرانس اروپایی و افزایش رقابت بین کنفرانس ها است که زمانی رخ می دهد که مرزهای بین کنفرانس های فردی هنوز به خوبی مشخص نشده باشد. شاید به همین دلیل بود که امسال فقط 44 مورد دریافت شد. از سوی دیگر احساس می‌کنیم که میانگین کیفیت ارسال‌ها بالا رفته است و به این ترتیب کمیته برنامه توانست 18 مقاله خوب را انتخاب کند که تنها یک مقاله کمتر از سال قبل است. کمیته برنامه به صورت فیزیکی جلسه ای برگزار نکرد و تمام بحث ها با استفاده از سیستم پایگاه داده مبتنی بر وب انجام شد. علیرغم برخی احساسات مختلط، تمایل کلی به قدردانی از زمان اضافی موجود برای نگاهی مجدد به مقالات و پرداختن به نظرات ارائه شده توسط سایر اعضای کمیته برنامه وجود دارد. می‌خواهم از اعضای کمیته برنامه‌های همکارم به خاطر کاری که در فرآیند داوری انجام داده‌اند و بازخورد ارزشمندی که به نویسندگان داده‌اند تشکر کنم. من می‌خواهم از داوران به خاطر کارشان و نظرات دقیق بسیار تشکر کنم، و در نهایت می‌خواهم از همه کسانی که مقاله ارسال کرده‌اند تشکر کنم: بدون نویسنده، بدون کنفرانس.


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

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.



فهرست مطالب

Functional Reactive Programming....Pages 1-1
A Decidable Logic for Describing Linked Data Structures....Pages 2-19
Interprocedural Control Flow Analysis....Pages 20-39
A Per Model of Secure Information Flow in Sequential Programs....Pages 40-58
Quotienting Share for Dependency Analysis....Pages 59-73
Types and Subtypes for Client-Server Interactions....Pages 74-90
Types for Safe Locking....Pages 91-108
Constructor Subtyping....Pages 109-127
Safe and Principled Language Interoperation....Pages 128-146
Deterministic Expressions in C....Pages 147-161
A Programming Logic for Sequential Java....Pages 162-176
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs....Pages 177-192
An Idealized MetaML: Simpler, and More Expressive....Pages 193-207
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)....Pages 208-223
An Operational Investigation of the CPS Hierarchy....Pages 224-242
Higher-Order Code Splicing....Pages 243-257
Expressing Structural Properties as Language Constructs?....Pages 258-272
Polytypic Compact Printing and Parsing....Pages 273-287
Dynamic Programming via Static Incrementalization....Pages 288-305




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