Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993 [Softcover reprint of the original 1st ed. 1994] 3540198792, 978-3-540-19879-6, 978-1-4471-3236-3, 0-387-19879-2

Table of contents :
Front Matter....Pages i-viii
The Boom Hierarchy....Pages 1-8
Factoring an Adequacy Proof (Preliminary Report)....Pages 9-25
Projection-based Termination Analysis....Pages 26-42
A framework for optimising abstract data types....Pages 43-57
Spiking Your Caches....Pages 58-68
Experiments with destructive updates in a lazy functional language (extended abstract)....Pages 69-82
The aim is laziness in a data-parallel language....Pages 83-99
On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note....Pages 100-112
Deterministic Concurrency....Pages 113-126
Using Strictness in the STG Machine....Pages 127-137
The Implementer’s Dilemma: A Mathematical Model of Compile Time Garbage Collection....Pages 138-144
Functional Graph Algorithms with Depth-First Search (Preliminary Summary)....Pages 145-155
Distributed Garbage Collection of Cyclic Structures....Pages 156-169
Update Avoidance Analysis by Abstract Interpretation....Pages 170-184
Local Speculative Evaluation for Distributed Graph Reduction....Pages 185-192
Bidirectional Fold and Scan....Pages 193-200
Measuring the effectiveness of a simple strictness analyser....Pages 201-221
Implementing Fudgets with Standard Widget Sets....Pages 222-235
Profiling Parallel Functional Computations (Without Parallel Machines)....Pages 236-251
Time Profiling a Lazy Functional Compiler....Pages 252-264
Solving recursive domain equations by term rewriting....Pages 265-279
Separating Interaction....Pages 280-286
Back Matter....Pages 287-289

Polecaj historie

Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop [1 ed.] 3540199144, 978-3-540-19914-4, 978-1-4471-3573-9

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of

320 21 2MB Read more

Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 [1 ed.] 354014580X, 9783540145806

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained

500 35 980KB Read more

Annals of Theoretical Psychology [Softcover reprint of the original 1st ed. 1993] 1461362989, 9781461362982

This volume and its companion, to be published as Volume 9 in the Annals series, had their origin in a visit by the firs

482 53 31MB Read more

Visual Geometry and Topology [Softcover reprint of the original 1st ed. 1994] 3642762379, 9783642762376

Geometry and topology are strongly motivated by the visualization of ideal objects that have certain special characteris

600 85 14MB Read more

Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland [Softcover reprint of the original 1st ed. 1990] 3540196099, 9783540196099, 9780387196091, 0387196099, 978-1-4471-3166-3

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an

302 42 4MB Read more

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 [Softcover reprint of the original 1st ed. 1993] 3540198202, 978-3-540-19820-8, 9780387198200, 0387198202, 978-1-4471-3215-8, 130-209-240-5

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again

254 64 4MB Read more

Applications of Liapunov Methods in Stability (Mathematics and Its Applications) [Softcover reprint of the original 1st ed. 1993] 9401046972, 9789401046978

The year 1992 marks the centennial anniversary of publication of the celebrated monograph "The General Problem of S

496 134 2MB Read more

Ordered Algebraic Structures: The 1991 Conrad Conference [Softcover reprint of the original 1st ed. 1993] 9401047553, 9789401047555

This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesville, Florida, USA, i

183 73 4MB Read more

Quadratic Algebras, Clifford Algebras, and Arithmetic Witt Groups (Universitext) [Softcover reprint of the original 1st ed. 1994] 038794110X, 9780387941103

Quadratic Algebras, Clifford Algebras, and Arithmetic Forms introduces mathematicians to the large and dynamic area of a

207 94 3MB Read more

Composition Operators: and Classical Function Theory (Universitext) [Softcover reprint of the original 1st ed. 1993] 0387940677, 9780387940670

The study of composition operators links some of the most basic questions you can ask about linear operators with beauti

403 37 2MB Read more