Partial Evaluation and the Generation of Program Generators

摘要: Partial evaluation has been the subject of rapidly increasing activity over past decade since it provides a unifying paradigm for broad spectrum work in program optimization, compiling, interpretation and generation automatic generators [7,14,25]. It is optimization technique, perhaps better called specialization, closely related to but different from Jorring Scherlis’ staging transformations [27]. emphasizes, comparison with [11,27] other transformation work, full automation as well transforming single programs. Much partial date concerned compiler an interpretive definition programming language, also important applications scientific computing, logic programming, metaprogramming, expert systems; some pointers are given later.