Type elaboration and subtype completion for Java bytecode.
March 01, 2001
|
Synthesis of current programs for an atomic read/write model of comput...
March 01, 2001
|
A schema for interprocedural modification side-effect analysis with po...
March 01, 2001
|
Scheduling Time-Constrained Instructions on Pipelined Processors.
January 01, 2001
|
Using Types to Analyze and Optimize Object-Oriented Programs.
January 01, 2001
|
Semiring-Based Constraint Logic Programming: Syntax and Semantics.
January 01, 2001
|
Syntactic Type Abstraction.
November 01, 2000
|
The Role of Commutativity in Constraint Propagation Algorithms.
November 01, 2000
|
Extending Graham-Glanville Techniques for Optimal Code Generation.
November 01, 2000
|
Optimizing Memory Usage in the Polyhedral Model.
September 01, 2000
|
Sets and Constraint Logic Programming.
September 01, 2000
|
The Benefits and Costs of DyC's Run-Time Optimizations.(Statistical Da...
September 01, 2000
|
A Balanced Code Placement Framework.
September 01, 2000
|
Graph Rewrite Systems for Program Optimization.
July 01, 2000
|
Standard Fixpoint Iteration for Java Bytecode Verification.
July 01, 2000
|
Typed Memory Management via Static Capabilities.
July 01, 2000
|
Program Transformation and Runtime Support for Threaded MPI Execution ...
July 01, 2000
|
Java Bytecode Compression for Low-End Embedded Systems.(Statistical Da...
May 01, 2000
|
Fusion-Based Register Allocation.
May 01, 2000
|
Context-Sensitive Synchronization-Sensitive Analysis Is Undecidable.
March 01, 2000
|
Compiler Techniques for Code Compaction.
March 01, 2000
|
Type-Based Analysis of Uncaught Exceptions.
March 01, 2000
|
Independence in CLP Languages.
March 01, 2000
|
From Flop to Megaflops: Java for Technical Computing.
March 01, 2000
|
Generation of LR Parsers by Partial Evaluation.
March 01, 2000
|
Incremental Analysis of Constraint Logic Programs.
March 01, 2000
|
Efficient and Safe-for-Space Closure Conversion.(Statistical Data Incl...
January 01, 2000
|
An Automata-Theoretic Approach to Modular Model Checking.
January 01, 2000
|
Lazy Rewriting on Eager Machinery.
January 01, 2000
|
Local Type Inference.(Statistical Data Included)
January 01, 2000
|
Undecidability of Context-Sensitive Data-Dependence Analysis.
January 01, 2000
|
| |
