Prev Up Next
Go backward to Lectures
Go up to Top
Go forward to References

References

 
This is the bibliography for Robert Glück's abstract. It appears here rather than with the abstract because of limitations to the Hyperlatex software used to produce both web pages and LaTeX output for printing.
 [BEJ88]
Bjørner, D., Ershov, A. P., and Jones, N. D. Eds. Partial Evaluation and Mixed Computation. North-Holland 1988.
 [CD93]
Consel, C. and Danvy, O. Tutorial notes on partial evaluation. In Proc. 20th Annual ACM Symposium on Principles of Programming Languages, pp. 493-501. ACM Press, 1993.
 [DGT96]
Danvy, O., Glück, R., and Thiemann, P. Eds. Partial Evaluation, Volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
 [Gal93]
Gallagher, J. Tutorial on specialisation of logic programs. In Proc.  ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 88-98. ACM Press, 1993.
 [JFP93]
Journal of Functional Programming, special issue on Partial Evaluation, 3(3) 1993.
 [JGS93]
Jones, N. D., Gomard, C. K., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
 [JLP93]
Journal of Logic Programming, special issue on Partial Deduction, 16(1&2), 1993.
 [LASC95]
Lisp and Symbolic Computation, special issue on Partial Evaluation, 8(3), 1995.
 [MS97]
Mogensen, T. Æ. and Sestoft, P. Partial evaluation. In A. Kent and J. G. Williams Eds., Encyclopedia of Computer Science and Technology, Volume 37, pp. 247-279, Marcel Dekker 1997.
 [NGC88]
New Generation Computing, special issue on Partial Evaluation and Mixed Computation, 6(2&3), 1988.
 [PEPMa]
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, 1991, 1993, 1995, 1997.
 [PEPMb]
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. 1992, 1994.
 [TCS98]
Theoretical Computer Science, special issue on Partial Evaluation. to appear 1998.

 

Prev Up Next