مشخصات کتاب

Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland

ویرایش: Softcover reprint of the original 1st ed. 1990 
نویسندگان: Kei Davis. John Hughes  
سری: Workshops in Computing 
ISBN (شابک) : 3540196099, 0387196099 
ناشر: Springer Verlag 
سال نشر: 1990 
تعداد صفحات: 417 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland: برنامه نویسی کاربردی -- کنگره ها

در صورت تبدیل فایل کتاب Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland

برنامه نویسی تابعی حوزه نسبتا جدیدی از علوم کامپیوتر است. این مجموعه شامل 25 مقاله است که تصویری عالی از وضعیت فعلی برنامه نویسی عملکردی را نشان می دهد و توسط دانشمندان پیشرو کامپیوتر در این دوره نوشته شده است. در برخی از دانشگاه ها از زبان برنامه نویسی تابعی به عنوان زبان تدریس مقدماتی استفاده می شود و معماری کامپیوتر برای پشتیبانی از زبان های تابعی طراحی و بررسی می شود.

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

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages

فهرست مطالب

Front Matter....Pages i-viii
A New Method for Strictness Analysis on Non-Flat Domains....Pages 1-11
Backwards Strictness Analysis: Proved and Improved....Pages 12-30
Abstract Interpretation of Polymorphic Functions....Pages 31-40
An Iterative Powerdomain Construction....Pages 41-55
Complexity Analysis for a Lazy Higher-Order Language....Pages 56-79
Deriving the fast Fourier algorithm by calculation....Pages 80-102
Chemical Reaction as a Computational Model....Pages 103-117
Sketching a Constructive Definition of ‘mix’....Pages 118-132
Transformation in a Non-Strict Language: An Approach to Instantiation....Pages 133-141
Referentially Transparent Database Languages....Pages 142-156
Imperative Effects from a Pure Functional Language....Pages 157-169
Designing Data Structures....Pages 170-181
Describing Butterfly Networks in Ruby....Pages 182-205
Implementation of a Non-Standard Interpretation System....Pages 206-224
Simulating Multiprocessor Architectures for Compiled Graph-Reduction....Pages 225-237
Dependent Sums Express Separation of Binding Times....Pages 238-253
Type inference and type classes....Pages 254-264
Implementing Haskell Type Classes....Pages 265-286
Implementing Functional Languages on the Transputer....Pages 287-295
Hope + on Flagship....Pages 296-307
Expressing and Reasoning About Non-deterministic Functional Programs....Pages 308-328
Evaluation Annotations for Hope + ....Pages 329-337
Some Ideas On Parallel Functional Programming....Pages 338-352
Parsing Using Combinators....Pages 353-370
Gerald: An Exceptional Lazy Functional Programming Language....Pages 371-390
Geometrization for Interactive Software Development....Pages 391-409
Back Matter....Pages 411-411

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

کتاب های تصادفی

دانلود کتاب Gehirn und Verhalten: Ein Grundkurs der physiologischen Psychologie

دانلود کتاب Hello World! Computer Programming for Kids and Other Beginners

دانلود کتاب Conducting Research in Psychology: Measuring the Weight of Smoke

دانلود کتاب Scandinavian Mythology

دانلود کتاب Gallo Be Thy Name: The Inside Story of How One Family Rose to Dominate the U.S. Wine Market