CiteSeerX — Related by cluster: On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs

On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs (1993)

Cached

Download Links

[www.comp.nus.edu.sg]

Other Repositories/Bibliography

DBLP

by Charles Consel , Siau Cheng Khoo

Venue:	Yale University
Citations:	9 - 1 self

Document Versions

On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs –Charles Consel, Siau Cheng Khoo — 1993 — Yale University