共 50 条
- [2] Similix: A self-applicable partial evaluator for scheme [J]. PARTIAL EVALUATION: PRACTICE AND THEORY, 1999, 1706 : 83 - 107
- [4] LIX: an effective self-applicable partial evaluator for prolog [J]. FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 85 - 99
- [5] A self-applicable online partial evaluator for recursive flowchart languages [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (06): : 649 - 673
- [8] A SELF-APPLICABLE PARTIAL EVALUATOR FOR THE LAMBDA-CALCULUS - CORRECTNESS AND PRAGMATICS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1992, 14 (02): : 147 - 172
- [10] Controlled self-applicable on-line partial evaluation, using strategies [J]. 1998 INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES, PROCEEDINGS, 1998, : 143 - 152