الوصف
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.
تفاصيل الكتاب
تنسيق
غلاف صلب
صفحات
313 صفحات
لغة
الإنجليزية
منشور
يونيو 15, 1998
الناشر
World Scientific Publishing Company
رقم ISBN-10
9810233841
رقم ISBN-13
9789810233846