Patent
1997-08-20
1999-03-09
Toplu, Lucien U.
395706, 395709, G06F 945
Patent
active
058812911
ABSTRACT:
A compiler and compilation method for processing a source program in a programming language in the Scheme/Lisp family into a representation known as continuation-passing style (CPS) before generating object code, with optimization also being involved in the processing. To simplify the code generator and optimization, and to allow the same code generator to be used for both non-loop as well as for loop functions, novel algorithms are described which find in the standard CPS intermediate tree sets of non-continuation lambda expressions with a common continuation, which can then be converted to optimized CPS code that can be processed by the same code generator as non-loop continuation functions.
REFERENCES:
patent: 5099450 (1992-03-01), Berkling
Steele, Guy Lewis, Rabbit: A Compiler for Scheme, Dissertation, Massachusetts Institute of Technology, May 12, 1978, pp. 1-115.
D. Hammer, Compiler Compilers, 3.sup.rd International Workshop, cc. 90 Generating Efficient Code from Continuation Semantics, pp. 165-178.
Appel, Compile-Time Evaluation and Code Generation for Semantics-Directed Compilers, Dissertation, 26 Jul. 1985, pp. 3-17, 61-112.
Jones et al., A Self-Applicable Partial Evaluator for the Lambda Calculus, Computer Languages, 1990 Int. Conf. pp. 49-58.
Bloom, Can LGF be Topped? Flat Lattice Models of Typed Lambda Calculus, Logic Incs, 1988, 3.sup.rd Annual Symposium, pp. 282-295.
Pan et al., Denotational Semantics-Directed Compilation Using Prolog, Applied Computing Symposium 1990, pp. 122-127.
David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin and Norman Adams--Orbit: An Optimizing Compiler for Scheme, Jul. 1986, pp. 219-233.
Pascal Fradet and Daniel Le Metayer--Compilation of Functional Languages by Program Transformation, Jan. 1991, pp. 21-51.
The Scheme of Things, Bourbaki, Nick, Al Expert, Oct. 1990, vol. 5, No. 10, p. 19(5).
DML-A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications, Mikael Pettersson and Peter Fritzson, Proceedings of the 1992 International Conference on Computer Languages, conf. date 20-23 Apr.1992, IEEE Computer Society Press, pp. 127-136.
Compiling with Continuations, Andrew W. Appel, 1992, pp. 55-82.
O. Shivers, Control-Flow Analysis of Higher-Order Languages or Taming Lambda (May 1991).
LandOfFree
System for conversion of loop functions in continuation-passing does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System for conversion of loop functions in continuation-passing , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for conversion of loop functions in continuation-passing will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1331349