دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
دانلود کتاب پیاده سازی زبان برنامه نویسی و برنامه نویسی منطقی: کارگاه بین المللی PLILP '90 لینکوپینگ، سوئد، 20 تا 22 آگوست، 1990 مجموعه مقالات
مشخصات کتاب
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.) سری: Lecture Notes in Computer Science 456 ISBN (شابک) : 354053010X, 9783540530107 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 409 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب پیاده سازی زبان برنامه نویسی و برنامه نویسی منطقی: کارگاه بین المللی PLILP '90 لینکوپینگ، سوئد، 20 تا 22 آگوست، 1990 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی زبان برنامه نویسی و برنامه نویسی منطقی: کارگاه بین المللی PLILP '90 لینکوپینگ، سوئد، 20 تا 22 آگوست، 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Implementing parallel rewriting....Pages 1-15
Compilation of narrowing....Pages 16-29
Inference-based overloading resolution for ADA....Pages 30-44
An approach to verifiable compiling specification and prototyping....Pages 45-59
Bug localization by algorithmic debugging and program slicing....Pages 60-74
A constraint logic programming shell....Pages 75-88
Modifying the simplex algorithm to a constraint solver....Pages 89-105
Implementing a meta-logical scheme....Pages 106-120
The vienna abstract machine....Pages 121-135
A new data structure for implementing extensions to Prolog....Pages 136-150
Finding the least fixed point using wait-declarations in Prolog....Pages 151-158
Elementary logic programs....Pages 159-173
A new presburger arithmetic decision procedure based on extended prolog execution....Pages 174-188
Reasoning about programs with effects....Pages 189-203
Towards a characterization of termination of logic programs....Pages 204-221
Static type analysis of prolog procedures for ensuring correctness....Pages 222-237
Integrating strict and lazy evaluation: the λ sl -calculus....Pages 238-254
Efficient data representation in polymorphic languages....Pages 255-276
A logic-based approach to data flow analysis problems....Pages 277-292
Systematic semantic approximations of logic programs....Pages 293-306
Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity....Pages 307-323
On the automatic generation of events in delta prolog....Pages 324-339
Compilation of non-linear, second order patterns on S-expressions....Pages 340-357
Pattern matching in a functional transformation language using treeparsing....Pages 358-371
Logic programming within a functional framework....Pages 372-386
Compiling logic programs with equality....Pages 387-401
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
دانلود کتاب Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
دانلود کتاب Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale
دانلود کتاب Professional Portrait Photography: Techniques and Images from Master Photographers (Pro Photo Workshop)
دانلود کتاب Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
دانلود کتاب Discovery Science: 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings
دانلود کتاب Advanced Research in VLSI and Parallel Systems: Proceedings of the 1992 Brown / MIT Conference
دانلود کتاب KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 Proceedings
دانلود کتاب Next Generation Information Technologies and Systems: 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings
