عنوان

Functional programming :

شابک

0387196676

شابک

3540196676

شابک

9780387196671

شابک

9783540196679

شماره

b565351

عنوان اصلي

Functional programming :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Glasgow 1990 : proceedings of the 1990 [3rd] Glasgow Workshop on Functional Programming ... 1990, Ullapool, Scotland

نام نخستين پديدآور

Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).

محل نشرو پخش و غیره

London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1991

نام خاص و کميت اثر

286 pages ; 25 cm.

عنوان فروست

Workshops in computing

متن يادداشت

Published in collaboration with the British Computer Society.

متن يادداشت

Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting Systems.- Compile-Time Garbage Collection by Necessity Analysis.- Improving Full Laziness.- Towards Binding-Time Improvement for Free.- Towards Relating Forwards and Backwards Analyses.- PERs Generalise Projections for Strictness Analysis.- Functional Programming with Relations.- Abstract Interpretation vs. Type Inference: A Topological Perspective.- Analysing Heap Contents in a Graph Reduction Intermediate Language.- Is Compile Time Garbage Collection Worth the Effort?.- Generating a Pattern Matching Compiler by Partial Evaluation.- An Experiment using Term Rewriting Techniques for Concurrency.- Type Refinement in Ruby.- Normal-Order Reduction Using Scan Primitives.- Calculating Lenient Programs' Performance.- Problems and Proposals for Time and Space Profiling of Functional Programs.- Solid Modelling in HASKELL.- Differentiating Strictness.- Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.- Concurrent Data Manipulation in a Pure Functional Language.

موضوع مستند نشده

HASKELL

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).

مستند نام اشخاص تاييد نشده

British Computer Society.

مستند نام اشخاص تاييد نشده

Carsten Kehler Holst

مستند نام اشخاص تاييد نشده

Graham Hutton

مستند نام اشخاص تاييد نشده

Simon L Peyton Jones

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y