Arne J. Glenstrup, Neil D. Jones. Termination analysis and specialization-point insertion in offline partial evaluation. ACM Transactions on Programming Languages and Systems, 27(6):1147-1215, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.