عنوان
پدید آورنده
موضوع
رده
QA76.62 S566 1991
QA76
.
62
S566
1991
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387196676
(Number (ISBN
3540196676
(Number (ISBN
9780387196671
(Number (ISBN
9783540196679
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565351
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Functional programming :
General Material Designation
[Book]
Other Title Information
Glasgow 1990 : proceedings of the 1990 [3rd] Glasgow Workshop on Functional Programming ... 1990, Ullapool, Scotland
First Statement of Responsibility
Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
286 pages ; 25 cm.
SERIES
Series Title
Workshops in computing
GENERAL NOTES
Text of Note
Published in collaboration with the British Computer Society.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
HASKELL
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
62
Book number
S566
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
British Computer Society.
Carsten Kehler Holst
Graham Hutton
Simon L Peyton Jones
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
