Projection factorisations in partial evaluation / John Launchbury.
Material type:
TextSeries: Distinguished dissertations in computer sciencePublisher: Cambridge : Cambridge University Press, 1991Description: 1 online resource (xii, 163 pages) : digital, PDF file(s)Content type: - text
- computer
- online resource
- 9780511569814 (ebook)
- 005.4/5 20
- QA76.6 .L3486 1991
Title from publisher's bibliographic system (viewed on 05 Oct 2015).
Programming frequently requires that problems are broken down into subproblems and then each subproblem solved independently. These solutions may then be combined to provide a solution to the original problem. Partial evaluation is a serious attempt to tackle this issue, allowing the programmer to write programs in a highly interpretive style without paying the price in efficiency. This thesis covers the theory and practice behind practical evaluation.
There are no comments on this title.