Методы метавычислений

 

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 Франция