Вы здесь

Главная

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

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

Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstract Interpretation of Linear Logic Programming
Accomplishments and Research Challenges in Meta-Programming (Invited Paper)
Accurate Binding Time Analysis for Imperative Languages
Accurate Binding-Time Analysis for Imperative Languages: Flow, Context, and Return Sensitivity
A Comparative Revisitation of Some Program Transformation Techniques
A Compiler Generator for Constraint Logic Programs
Action Transformation by Partial Evaluation
Advanced Logic Program Specialisation
A Generic Framework for Specialization
An Algebra and Axiomatization System of Mixed Computation
An algebra of mixed computation
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
A New Termination Approach for Specialization
An Implementation of Parameterized Partial Evaluation
An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language
A Polyvariant Binding Time Analysis Handling Partially Known Values
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics
A Semantic Account of Type-Directed Partial Evaluation
A Semantic Model of Binding Times for Safe Partial Evaluation
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
Aspects of the PGG System: Specialization for Standard Scheme
A Symmetric Approach to Compilation and Decompilation
A Theoretical approach to polyvariant mixed computation
A Transformation Systems Combining Partial Evaluation with Term Rewriting
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
A Type Specialisation Tutorial
A Uniform Approach for Compile-time and Run-time Specialization
A Uniform Approach for Compile-Time and Run-Time Specialization
A Unifying Approach to Goal-Directed Evaluation
Binding Time Analysis: A New PERspectives
Binding-Time Analysis for Polymorphic Types
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation
Building Incremental Programs usig Partial Evaluation
Call-By-Name CPS-Transition as a Binding-Time Improvement
Characterizations of the Stable Semantics by Partial Evaluation
C-Mix: Specialization of Programs
Cogen in Six Lines
Combining Abstract Interpretation and Partial Evaluation (brief overview)
Compiling Adaptive Programs by Partial Evaluation
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation
Compiling Scientific Code Using Partial Evaluation
Computational Logistics: Proc./2nd International Conference, ICCL 2011, Hamburg, Germany, September 2011
Computing Inheritance using Partial Evaluation
Concurrent Clean
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
Continuation-Based Partial Evaluation