论文信息 - Semantics-Directed Compilation of Nonlinear Patterns - 字舞流文

Semantics-Directed Compilation of Nonlinear Patterns

Olivier Danvy | O. Danvy

[1] Anders Bondorf,et al. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types , 1991, Sci. Comput. Program..

[2] Olivier Danvy,et al. Static and dynamic semantics processing , 1991, POPL '91.

[3] Anders Bondorf,et al. Automatic Autoprojection of Higher Order Recursive Equations , 1990, Sci. Comput. Program..

[4] Neil D. Jones,et al. Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..

[5] Olivier Danvy,et al. Partial Evaluation of Pattern Matching in Strings , 1989, Inf. Process. Lett..

[6] Charles Consel. Analyse de programmes, evaluation partielle et generation de compilateurs , 1989 .

[7] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .

[8] T G Muchnick,et al. On some extensions of syntactic error recovery technique based on phrase markers , 1986, SIGP.

[9] William L. Scherlis,et al. Compilers and staging transformations , 1986, POPL '86.

[10] Pär Emanuelson,et al. Performance enhancement in a well-structured pattern matcher through partial evaluation , 1980 .

[11] Warren Teitelman,et al. The interlisp reference manual , 1974 .