共 50 条
- [2] Higher-order matching for program transformation [J]. THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 135 - 162
- [3] Higher-order transformation of logic programs [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
- [4] A Higher-Order Calculus for Graph Transformation [J]. Electron. Notes Theor. Comput. Sci., 2007, 1 SPEC. ISS. (45-58):
- [6] DEGREE OF HIGHER-ORDER OPTICAL COHERENCE [J]. JOURNAL OF MATHEMATICAL PHYSICS, 1967, 8 (09) : 1798 - &
- [10] Deterministic higher-order patterns for program transformation [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 128 - 142