ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

دانلود کتاب ESOP 86: سمپوزیوم اروپایی برنامه ریزی زاربروکن، جمهوری فدرال آلمان 17-19 ژانویه 1986، پرونده ها

ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

مشخصات کتاب

ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 213 
ISBN (شابک) : 3540164421, 9783540164425 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1986 
تعداد صفحات: 380 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

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



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

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


در صورت تبدیل فایل کتاب ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ESOP 86: سمپوزیوم اروپایی برنامه ریزی زاربروکن، جمهوری فدرال آلمان 17-19 ژانویه 1986، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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



فهرست مطالب

Compiler generation from relational semantics....Pages 1-29
Correctness of code generation from a two-level meta-language....Pages 30-40
A general approach to the optimization of function calls....Pages 41-52
Lifetime analysis for procedure parameters....Pages 53-69
Another implementation technique for applicative languages....Pages 70-81
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine....Pages 82-98
A safe approach to parallel combinator reduction (extended abstract)....Pages 99-110
Reducing recursion to iteration by algebraic extension....Pages 111-118
Design and implementation of a generic, logic and functional programming language....Pages 119-132
Pragmatic aspects of two-level denotational meta-languages....Pages 133-143
An experiment in practical semantics....Pages 144-159
The choice of programming primitives for SETL-like programming languages....Pages 160-172
Algebraic semantics of exception handling....Pages 173-186
Data refinement refined resume....Pages 187-196
Proving entailment between conceptual state specifications....Pages 197-209
Automatic parallelization of fortran programs in the presence of procedure calls....Pages 210-222
Parallelization by semantic detection of reductions....Pages 223-236
Denotational semantics of nets with nondeterminism....Pages 237-249
specification of a tool for viewing program text....Pages 250-261
A classical implementation for Prolog-II....Pages 262-273
Programs as collections of communicating Prolog units....Pages 274-288
An and-parallel execution model of logic programs....Pages 289-300
Compiling Extended Concurrent Prolog -single queue compilation-....Pages 301-314
A very intelligent backtracking method for Logic Programs....Pages 315-326
An application of abstract interpretation of logic programs: Occur check reduction....Pages 327-338
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution....Pages 339-350
Rewriting with a nondeterministic choice operator : From algebra to proofs....Pages 351-374




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