دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) سری: Lecture Notes in Computer Science 213 ISBN (شابک) : 3540164421, 9783540164425 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1986 تعداد صفحات: 380 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب 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