Вы здесь

Главная

компиляция

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

1+1=1 : An Optimizing Caml Compiler
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract compilation of LambdaProlog
Abstract Interpretation-Based Certification of Assembly Code
A Calculus for Compiling and Linking Classes
A Calculus for Link-Time Compilation
A Case for Combining Compile-Time and Run-Time Parallelization
Accelerator Programming Using Directives: Revised Selected Papers/6th International Workshop, WACCPD 2019, Denver,CO,USA, November 2019
Accurate Static Branch Prediction by Value Range Propagation
A Communication Scheme for the Distributed Execution of while Loops
A Compilation and Optimization Model for Aspect-Oriented Programs
A Compilation Approach for Fortarn 90D/HPF Compilers
A Compilation Scheme for a Hierarchy of Array Types
A Compilation Technique for Varying Communication Cost NUMA Architectures
A Compiler-Based Approach to Data Security
A Compiler for Rewrite Programs in Associative-Communicative Theories
A Continuation-Passing Style for Prolog
A Correspondence between Continuation Passing Style and Static Single Assignment Form
A Curry-Howard Isomorphism for Compilation and Program Execution
A Database Rule Language Compiler Supporting Parallelism
A Data Partitioning Algorithm for Distributed Memory Compilation
A Decision Tree Compilation Algorithm for FCP( ,:,?)
A Development Environment for Complex Distributed Real-Time Applications
Advances in Computing Science - ASIAN 97: Proc./Third Asian Computing Science Conf. Kathmandu, Nepal, December 1997
A Dynamic Scheduling Method for Irregular Parallel Programs
A Feasibility Study in Iterative Compilation
A First-Order One-Pass CPS Transformation
A Formal Approach to the Compilation of Data-Parallel Languages
A Formal Framework for Java Separate Compilation
A Formal Model of Real-Time Program Compilation
A Fortran Parallelizing Compilation Scheme for OSCAR Using Dependence Graph Analysis
Algebraically Provable Specification of Optimized Compilations
A Linear-Space Compile Time Cache Management Using the RBFS Algorithm
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
A Model for Inter-module Analysis and Optimizing Compilation
A Modular Compiler Architecture for a Data Manipulation Language
A Modular, Polyvariant, and Type-Based Closure Analysis
A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH
An abstract data type for name analysis
An Algebraic Foundation for Adaptive Programming
Analysis of Compiled Code: A Prototype Formal Model
Analytic Variations on the Common Subexpression Problem
An Approach to Benchmarking Ada Compilation Systems
An Array Partitioning Analysis for Parallel Loop Distribution
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus
An Efficient Resource-Constrained Global Scheduling Technique for Syperscalar and VLIW processors
An Evaluation of Staged Run-Time Optimizations in DyC
A New Compilation Technique for Parallelizing Loops with Unpredictable Branches on a VLIW Architecture
An Executable Language Definition
Annotation-Directed Run-Time Specialization in C