Functional programming, Glasgow 1990: proceedings of the 3rd Glasgow workshop Papers [1 ed.] 3540196676, 978-3-540-19667-9, 9780387196671, 0387196676, 978-1-4471-3810-5, 672-673-660-6

This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapo

271 89 4MB

English Pages 287 [296] Year 1991

Report DMCA / Copyright

DOWNLOAD FILE

Functional programming, Glasgow 1990: proceedings of the 3rd Glasgow workshop Papers [1 ed.] 3540196676, 978-3-540-19667-9, 9780387196671, 0387196676, 978-1-4471-3810-5, 672-673-660-6

Table of contents :
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
Solid Modelling in Haskell ....Pages 246-263
Differentiating Strictness....Pages 264-267
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts....Pages 268-273
Concurrent Data Manipulation in a Pure Functional Language....Pages 274-286
Back Matter....Pages 287-287

Polecaj historie
Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 [1 ed.] 354014580X, 9783540145806
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

Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop [1 ed.] 3540199144, 978-3-540-19914-4, 978-1-4471-3573-9
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

World Film Locations: Glasgow : Glasgow [1 ed.] 9781841507460, 9781841507194
World Film Locations: Glasgow : Glasgow [1 ed.] 9781841507460, 9781841507194

World Film Locations: Glasgow explores Scotland’s biggest city and the many locations in which its films are viewed, set

199 22 6MB 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 : 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

The University of Glasgow: 1451-1996 9781474465458
The University of Glasgow: 1451-1996 9781474465458

A history of Scotland's second oldest university from its foundation to the present.

205 56 106MB Read more

The Cultural Memory of Georgian Glasgow 9781474443296
The Cultural Memory of Georgian Glasgow 9781474443296

The first interdisciplinary exploration of eighteenth-century Glasgow Approaches Glasgow's history as a guide to th

110 85 10MB Read more

Insight Guides: Great Breaks Glasgow
Insight Guides: Great Breaks Glasgow

Great Breaks Glasgow is a compact travel guide that combines snappy text with full-colour photography to highlight the v

451 79 67MB 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
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

253 64 4MB Read more

Science and Archaeology, Glasgow 1987, Parts i and ii: Proceedings of a conference on the application of scientific techniques to archaeology Glasgow, September 1987 9781407390093, 9781407390109, 9780860545811, 9781407318165
Science and Archaeology, Glasgow 1987, Parts i and ii: Proceedings of a conference on the application of scientific techniques to archaeology Glasgow, September 1987 9781407390093, 9781407390109, 9780860545811, 9781407318165

This volume is part of a two volume set: ISBN 9781407390093 (Volume I); ISBN 9781407390109(Volume II); ISBN 978086054581

181 55 383MB Read more

Lezioni di Glasgow 9788814019807, 8814019800
Lezioni di Glasgow 9788814019807, 8814019800

449 48 59MB Read more

Unsere Partner sammeln Daten und verwenden Cookies zur Personalisierung und Messung von Anzeigen. Erfahren Sie, wie wir und unser Anzeigenpartner Google Daten sammeln und verwenden. Cookies zulassen