Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Partial Evaluation
Связанные издания:
A Comparative Revisitation of Some Program Transformation Techniques
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
A Roadmap to Metacomputation by Supercompilation
A Self-Applicable Supercompiler
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties
A Uniform Approach for Compile-Time and Run-Time Specialization
Compiler Generation for Interactive Graphics Using Intermediate Code
Efficiently Generating Efficient Generating Extensions in Prolog
Evolution of Partial Evaluators: Removing Inherited Limits
Global Control for Partial Deduction through Characteristic Atoms and Global Trees
Metacomputation: Metasystem Transitions plus Supercompilation
ML Pattern Match Compilation and Partial Evaluation
Multi-Level Lambda-Calculi: An Algebraic Description
Practical Aspects of Specialization of Algol-like Programs
Pragmatics of Type-Directed Partial Evaluation
Program Specialization via Program Slicing
Reasoning about Hierarchies of Online Program Specialization Systems
Regular Approximation of Computation Paths in Logic and Functional Languages
Self-Applicable Online Partial Evaluation
Specialization of Imperative Programs Through Analysis of Relational Expressions
Squeezing Intermediate Construction in Equational Programs
Synchronization Analyses for Multiple Recursion Parameters
Type Specialisation for the Lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference
What Not to Do When Writing an Interpreter for Specialisation