First-class nonstandard interpretations by opening closures

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2007, Pages 71-76

  Siskind, Jeffrey Mark ^a   Pearlmutter, Barak A ^b  

^a Purdue University   (United States)

^b NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Lambda lifting; Referential transparency

Indexed keywords

CODES (SYMBOLS); ERROR CORRECTION; MATHEMATICAL TRANSFORMATIONS;

CODE INSTRUMENTATION; LAMBDA LIFTING; PROFILING; REFERENTIAL TRANSPARENCY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548270949     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190230     Document Type: Conference Paper

References (13)

1. W. Clinger, D. P. Friedman, and M. Wand, "A scheme for a higher-level semantic algebra," in Algebraic Methods in Semantics, J. Reynolds and M. Nivat, Eds. Cambridge University Press, 1985, pp. 237-250.
2. R. E. Wengert, "A simple automatic derivative evaluation program," Comm. of the ACM, vol. 7, no. 8, pp. 463-4, 1964.
3. W. K. Clifford, "Preliminary sketch of bi-quaternions," Proceedings of the London Mathematical Society, vol. 4, pp. 381-395, 1873.
4. J. C. Reynolds, "Definitional interpreters for higher-order programming languages," in Proceedings of the 25th ACM National Conference, 1972,
5. reprinted in Higher Order and Symbolic Computing, 11 (4): 363-397, 1998.
6. G. L. Steele, Jr. and G. J. Sussman, "Lambda, the ultimate imperative," MIT Artificial Intelligence Laboratory, A. I. Memo 353, Mar. 1976.
7. T. Johnsson, "Lambda lifting: Transforming programs to recursive equations," in Functional Programming Languages and Computer Architecture. Nancy, France: Springer-Verlag, Sept. 1985.
8. W. Clinger and J. Rees, Revised4 Report on the Algorithmic Language SCHEME, Nov. 1991.
9. D. MacQueen, "Modules for Standard ML," in Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX, 1984, pp. 198-207.
10. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-oriented programming," in Proceedings of the European Conference on Object-Oriented Programming, 1997, pp. 220-242.
11. J. McCarthy, "A basis for a mathematical theory of computation," in Computer Programing and Formal Systems, P. Braffort and D. Hirschberg, Eds. Amsterdam: Elsevier North-Holland, 1963.
12. J. M. Siskind and D. A. McAllester, "SCREAMER: A portable efficient implementation of nondeterministic COMMON LISP," University of Pennsylvania Institute for Research in Cognitive Science, tech. report IRCS-93-03, 1993.
13. _, "Nondeterministic LISP as a substrate for constraint logic programming," in Proceedings of the Eleventh National Conference on Artificial Intelligence, July 1993, pp. 133-8.