منو
رکورد قبلیرکورد بعدی

" Functional programming : "


Document Type : BL
Record Number : 879399
Main Entry : Adams, James Ring.
Title & Author : A full service bank : : how BCCI stole billions around the world /\ James Ring Adams and Douglas Frantz.
Publication Statement : New York :: Pocket Books,, 1992.
Page. NO : xi, 381 pages :: illustrations ;; 25 cm
ISBN : 067172911X
: : 0671729128
: : 9780671729110
: : 9780671729127
Bibliographies/Indexes : Includes bibliographical references (pages 335-363) and index.
Abstract : An expose of the Bank of Credit and Commerce International's corrupt practices.
Subject : Published in collaboration with the British Computer Society.
Contents : 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.
Subject : HASKELL
LC Classification : ‭QA76.62‬‭S566 1991‬
Added Entry : British Computer Society.
: Carsten Kehler Holst
: Graham Hutton
: Simon L Peyton Jones
:
:
:
:
:
:
copyhttps://lib.clisel.com/site/catalogue/745402
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟