Abstract
In this paper we show, among other things, that logical structures such as di erence lists have a natural counterpart in lazy functional programs; i.e. that most programs using di erence-lists are functional in nature. This shows immediately that many common non-well-moded programs are functional in nature and that well-modedness is thus not a necessary attribute of those logic programs behaving functionally. We do this by employing a straightforward { literal { translation of moded logic programs ...
| Original language | English |
|---|---|
| Title of host publication | LOPSTR 2000 |
| Subtitle of host publication | Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, July 2000, Imperial College London |
| Editors | Kung-Kiu Lau |
| Place of Publication | Manchester, UK |
| Publisher | University of Manchester |
| Number of pages | 9 |
| Publication status | Published - Jul 2000 |
| Event | 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000 - Imperial College London, London, United Kingdom Duration: 24 Jul 2000 → 28 Jul 2000 Conference number: 10 |
Publication series
| Name | The University of Manchester Consulting Society |
|---|---|
| Publisher | University of Manchester |
| Volume | UMCS-00-6-1 |
Workshop
| Workshop | 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000 |
|---|---|
| Abbreviated title | LOPSTR |
| Country/Territory | United Kingdom |
| City | London |
| Period | 24/07/00 → 28/07/00 |