| Abstract Interpretation |
Абстрактная интерпретация |
P. Cousot | 1977 | Франция |
| Deforestation |
Дефорестация | P. Wadler |
1987 | Великобритания |
| Generalized Partial Computation |
Обобщенные частичные вычисления | Y. Futamura | Япония | |
| Mixed Computation |
Смешанные вычисления | А. Ершов | 1976 | Россия |
| Partial Deduction |
Частичная дедукция | J. W. Lloyd | ||
| Partial Evaluation |
Частичные вычисления | N. Jones | 1985 | Дания |
| Supercompilation |
Суперкомпиляция | В. Турчин | 1974 | Россия |
| Symbolic Composition |
Символьная композиция |
D. Parigot | 1998 | Франция |