Computer Science
multi-processor
100%
Functional Program
94%
Optimizing Compiler
93%
Parallelism
80%
Reference Counting
80%
Functional Languages
64%
Loop Transformation
53%
runtime system
53%
Theorem Prover
53%
Granularity
53%
Concurrent Program
53%
Hypercube
53%
Garbage Collection
53%
Validation Technique
40%
Abstract Machine
40%
Compiler Optimization
40%
Source Codes
40%
Storage Management
31%
Research Project
26%
Transformed Code
26%
Loop Interchange
26%
Loop Tiling
26%
Functional Programming
26%
Validation Process
26%
Data Dependency
26%
Source Language
26%
Loop Reordering
26%
Sequential Machine
26%
Parallel Execution
26%
Verification Process
26%
Syntactic Approach
26%
Fixed-Point Computation
26%
Demand Analysis
26%
Loop Distribution
26%
Loop Fusion
26%
Partial Evaluation
26%
Major Component
26%
Software Pipelining
26%
Timed Automaton
26%
Polymorphic Type
26%
Syntactic Method
26%
Ubiquitous Environment
26%
Coupled Processor
26%
Memory Management
26%
Distributed Memory
26%
Simulation Relation
20%
Garbage Collection Process
18%
Garbage Collector
18%
Loop Unrolling
17%
Synchronous Communication
17%
Keyphrases
Compiler
80%
Translation Validation
73%
Optimizing Compilers
73%
Runtime Verification
53%
Concurrent Programs
53%
Reference Counting
53%
Escape Analysis
53%
Alfalfa
44%
Loop Transformations
40%
Binding-time Analysis
35%
Loop Optimization
35%
Proof Rules
35%
Translator
35%
Target Codes
33%
Speculative Optimization
32%
Functional Program
32%
Validation Approach
31%
Interactive Theorem Prover
27%
Evaluation Method
26%
Double-ended Queue
26%
Multi-head
26%
Purely Functional Programming
26%
Multiprocessor
26%
Multiprocessor Architecture
26%
Combinators
26%
Distributed Execution
26%
Runtime Systems
26%
Partial Evaluation
26%
Fixed-point Arithmetic
26%
Demand Analysis
26%
Syntactic Approach
26%
Lazy Languages
26%
Finite Domain
26%
Live Sequence Charts
26%
Distributed Evaluation
26%
Reduced Communication
26%
Parallelization
26%
Type Reconstruction
26%
Validator
26%
Hypercube
26%
Source Code
26%
Least Fixed Point
26%
Distributed Storage
26%
Memory Management
26%
Garbage Collection
26%
Source Program
24%
Intel
22%
Communication Management
22%
Compiler Optimization
22%
Verification Conditions
22%