|
Journals in DBLP
- Erik Ruf, Daniel Weise
On the Specialization of Online Program Specializers. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:3, pp:251-281 [Journal]
- Valentin F. Turchin
Program Transformation with Metasystem Transitions. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:3, pp:283-313 [Journal]
- Anders Bondorf, Jesper Jørgensen
Efficient Analysis for Realistic Off-Line Partial Evaluation. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:3, pp:315-346 [Journal]
- Jens Palsberg
Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:3, pp:347-363 [Journal]
- Mitchell Wand
Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1993, v:3, n:3, pp:365-387 [Journal]
|