Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
промежуточный
Связанные издания:
A Calculus for Compiling and Linking Classes
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
An ANDF Based Ada95 Compiler System
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
An Intermediate Design Language and Its Analysis
A Program s Eye View of Miprac
A Simple Graph-Based Intermediate Representation
A Type System for Object Initialization in the JavaTM Bytecode Language
Automatic Inference of Models for Statistical Code Compression
Bridging the Gulf: A Common Intermediate Languge for ML and Haskell
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Clarity MCode: A Retargetable Intermediate Representation for Compilation
Compiler Generation for Interactive Graphics Using Intermediate Code
Condensed Graphs: A Multi-level, Parallel, Intermediate Representation
Constraint-Based Inter-Procedural Analysis of Parallel Programs
Core Technologies for System Renovation
Designing a Parallel Object-Oriented Compiler Target Language (TOOL)
Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations
DIANA Reference Manual. Revision 3
Distributed Computing and Networking: Proc./13th International Conference, ICDCN 2012, Hond Kong, China, January 2012
Efficient Statistical Modeling for the Compression of Tree Structured Intermediate Code
Experience with a Software-Defined Machine Architecture
Exploiting Persistent Intermediate Code Representations in Open Database Environments
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
Fast Slicing of Concurrent Programs
Featherweight Threads and ANDF Compilation of Concurrency
Flora: A Functional-Style Language for Object and Relational Algebra
Fusion in Practice
Implementing Typed Intermediate Languages
Improving Arithmetic Performance using Fine-Grain Unfolding
Incremental Computation of Static Single Assignment Form
Interlanguage Working without Tears: Blending SML with Java
Java Intermediate Bytecodes
Langages intermediaires pour la compilation de langages fonctionnels
LLVM как инфраструктура разработки компиляторов для встроенных систем
Program Optimization and Parallelization Using Idioms
Program Representation Size in an Intermediate Language with Intersection and Union Types
Re-engineering Needs Generic Programming Language Technology
Representing Java Classes in a Typed Intermediate Language
Short Cut Fusion: Proved and Improved
Squeezing Intermediate Construction in Equational Programs
Static Data Analysis of Gated Data Dependence Graphs
Static Single Assignment Form for Machine Code
Technological Steps toward a Software Component Industry
The Advantages of Machine-Dependent Global Optimization
The Concert Signature Representation: IDL as Intermediate Language
The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning
Typed Intermediate Languages for Shape Analysis
Type-Directed Flow Analysis for Typed Intermediate Languages
Using Domain Ontologies to Build Semantically-Rich Schema Models
1
2
следующая ›
последняя »