Ebook: Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland

This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapool, Scotland, 13-15 August 1990. Members of the functional programming groups at the universities of Glasgow and Stirling attended the workshop, together with a small number of invited participants from other universities and industry. The papers vary from the theoretical to the pragmatic, with particular emphasis on the application of theoretical ideas to practical problems. This reflects the unusually close relationship between theory and practice which characterises the functional programming research community. There is also material on the experience of using functional languages for particular applications, and on debugging and profiling functional programs.

---

This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapool, Scotland, 13-15 August 1990. Members of the functional programming groups at the universities of Glasgow and Stirling attended the workshop, together with a small number of invited participants from other universities and industry. The papers vary from the theoretical to the pragmatic, with particular emphasis on the application of theoretical ideas to practical problems. This reflects the unusually close relationship between theory and practice which characterises the functional programming research community. There is also material on the experience of using functional languages for particular applications, and on debugging and profiling functional programs.
Content:
Front Matter....Pages i-viii
Lifetime analysis....Pages 1-8
Compiling Laziness by Partial Evaluation....Pages 9-22
Strictness Analysis in 4D....Pages 23-43
An Algorithmic and Semantic Approach to Debugging....Pages 44-53
Abstract Interpretation of Term Graph Rewriting Systems....Pages 54-65
Compile-Time Garbage Collection by Necessity Analysis....Pages 66-70
Improving Full Laziness....Pages 71-82
Towards Binding-Time Improvement for Free....Pages 83-100
Towards Relating Forwards and Backwards Analyses....Pages 101-113
PERs Generalise Projections for Strictness Analysis (Extended Abstract)....Pages 114-125
Functional Programming with Relations....Pages 126-140
Abstract Interpretation vs. Type Inference A Topological Perspective....Pages 141-145
Analysing Heap Contents in a Graph Reduction Intermediate Language....Pages 146-171
Is Compile Time Garbage Collection Worth the Effort?....Pages 172-176
Generating a Pattern Matching Compiler by Partial Evaluation....Pages 177-195
An Experiment using Term Rewriting Techniques for Concurrency....Pages 196-200
Type Refinement in Ruby....Pages 201-217
Normal-Order Reduction Using Scan Primitives....Pages 218-226
Calculating lenient programs’ performance....Pages 227-236
Problems & Proposals for Time & Space Profiling of Functional Programs....Pages 237-245
Differentiating Strictness....Pages 246-263
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts....Pages 264-267
Concurrent Data Manipulation in a Pure Functional Language....Pages 268-273
Back Matter....Pages 274-286
....Pages 287-287