Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993 (Workshops in Computing)

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports. 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 The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedings of the 1993 workshop, which was held in Ayr, Scotland, from 5 - 7 July 1993. The papers cover the spectrum of functional programming research, including implementation, performance, parallelism, algorithms, and semantics. They reflect the current trend towards emphasis on practical issues, and also give several examples of how theoretical research can be successfully applied to practical programming. Among the actual topics covered are: projection-based termination analysis; deterministic concurrency; using strictness in the STG machine; distributed garbage collection of cyclic structures; bidirectional fold and scan; separating interaction; time profiling a lazy functional compiler; and solving recursive domain equations by term rewriting