Вы здесь

Главная

смешанные вычисления

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

Partial Evaluation - Practice and Theory: Proc./DIKU 1998 Intern. Summer School. Copenhagen, Denmark, July 1998
Partial Evaluation Scheme for Concurrent Languages and Its Correctness
Partial Evaluation: Selected Papers/ International Seminar. Dagstuhl Castle,Germany,February 1996
Partial-Evaluation Techniques for Concurrent Programs
Partial Evaluation Using Concurrent Logic Programming
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Walt Disney World Village, Orlando, Florida, USA, 25 June 1994
PERs from Projections for Binding-time Analysis
Polyvariant Expansion and Compiler Generators
Practical Aspects of Specialization of Algol-like Programs
Pragmatics of Type-Directed Partial Evaluation
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95. La Jolla, California, June 21-23, 1995
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
Program Bifurcation for a Polymorphically Typed Functional Language
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
Programming Languages: Implementations, Logics and Programs: Proc./7th International Symposium, PLILP 95. Utrecht, The Netherlands, September 1995
Program Specialization via Program Slicing
Projection Factorisations in Partial Evaluation
Properties of Unfolding-based Meta-level Systems
Querying Indexed Files
Realistic Compilation by Partial Evaluation
Regular Approximation of Computation Paths in Logic and Functional Languages
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages
Resource-Bounded Partial Evaluation
Scaling Access to Heterogeneous Data Sources with Disco
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
Self-Applicable Online Partial Evaluation
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Self-applicable Partial Evaluation for the Pi-calculus
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
Similix: A Self-Applicable Partial Evaluator for Scheme
Sonic Partial Deduction
Specialising Interpreters Using Offline Partial Deduction
Specialization of Inductively Sequential Functional Logic Programs
Specialization of Lazy Functional Logic Programs
Static Analysis for Logic Program Specialisation
Static semantics, types, and binding time analysis
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
Tagging, Encoding, and Jones Optimality
Teaching Functional and Logic Programming with a Single Computational Model
Techniques for Partial Evaluation of Imperative Languages
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
The Abstraction and Instantiation of String-Matching Programs
The Essence of Eta-Expansion in Partial Evaluation
The Essence of LR Parsing
The Essence of Program Transformation by Partial Evaluation and Driving
The Role of Lazy Evaluation in Amortized Data Structures
The Translation Power of the Futamura Projections
The Treatment of Polymorphism and Modules in a Partial Evaluator
Towards Creating Specialized Integrity Checks Through Partial Evaluation of Meta-Interpreters
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC