Вы здесь

Главная

суперкомпиляция

Связанные издания:

A Note on Specialization of Interprets
A Roadmap to Metacomputation by Supercompilation
A Self-Applicable Supercompiler
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs
Introduction to Supercompilation
Metacomputation: Metasystem Transitions plus Supercompilation
On Perfect Supercompilation
Perspectives of System Informatics: Revised Selected Papers/8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russa, June 2011
Programs Transformation with Metasystem Transitions: Experiments with a Supercompiler
Supercompilation: Techniques and Results
The Supercompiler SCP4: General Structure
Выявление и доказательство свойств функциональных программ методами суперкомпиляции
Суперкомпиляция высшего уровня как путь к метасистемному переходу
Суперкомпиляция: методы и результаты