Paper Info
Title
Type theory and rewriting theory for expressive, efficient and reliable programming languages
Abstract
In the five months this project has been funded, the following implementation inroads have been made. First, a formal definition of the build-cata form of a function has been developed. This provides a much-needed standard against which to measure the success or failure of the warm fusion transformations. Secondly, the prototype engine's source language has been extended via mu-lifting to allow recursion at any level in an input program. Thirdly, a kind of "lambda dropping," which allows us to optimize the warm fusion algorithm when constructors are static parameters to function workers, has been added. This has the potential to improve the efficiency of many transformed programs. Finally, an interpreter for the engine's source language has been incorporated into the prototype engine and instrumented to provide preliminary measurements of resource consumption of test programs. Preand post-warm fusion runs of a number of small, commonly used programs have been evaluated, and these have all shown the expected after-transformation efficiency gains. More elaborate instrumentation, more general test programs, and more comprehensive test data are still needed, however. Future work involves the development of more widelyapplicable fusion techniques, their implementation, and the implementation of techniques which are already wellsupported theoretically. Further benchmarking with the resulting enhanced engine is also planned.
Year
DOI
Venue
2000
10.1145/340855.340968
ACM SIGSOFT Software Engineering Notes
Keywords
Field
DocType
type theory,reliable programming language
Fifth-generation programming language,Second-generation programming language,Comparison of multi-paradigm programming languages,Programming language,Software engineering,Computer science,Type theory,Confluence,Rewriting,Third-generation programming language,Programming language theory
Journal
Volume
Issue
Citations 
25
1
0
PageRank 
References 
Authors
0.34
4
1
Name
Order
Citations
PageRank
A. J. Kfoury146147.34