Specifying the correctness of binding-time analysis.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. 365, doi. 10.1017/S0956796800000782
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1993 AND VI 3 AND IP 3
Results: 7
1
2
Correctness of binding-time analysis.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. 347, doi. 10.1017/S0956796800000770
- By:
- Publication type:
- Article
3
Efficient analyses for realistic off-line partial evaluation.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. 315, doi. 10.1017/S0956796800000769
- By:
- Publication type:
- Article
4
Program transformation with metasystem transitions.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. 283, doi. 10.1017/S0956796800000757
- By:
- Publication type:
- Article
5
On the specialization of online program specializers.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. 251, doi. 10.1017/S0956796800000745
- By:
- Publication type:
- Article
6
JFP volume 3 issue 3 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. b1, doi. 10.1017/S0956796800000733
- Publication type:
- Article
7
JFP volume 3 issue 3 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1993, v. 3, n. 3, p. f1, doi. 10.1017/S0956796800000721
- Publication type:
- Article