Improvements for Free

Improvements to the Psi-SSA representation

Improving bit-vector representation of points-to sets using class hierarchy

Improving PARMA Trailing

Improving Precision of Type Analysis Using Non-Discriminative Union

Improving Size-Change Analysis in Offline Partial Evaluation

Improving Strategies via SMT Solving

Incorporating LINQ, State Diagrams Templating and Package Extension Into Java

Incremental copying garbage collection for WAM-based Prolog systems

Indirect jumps improve instruction sequence performance

Indirect Object Representation and Access by Means of Concepts

Inference of termination conditions for numerical loops

Inference of termination conditions for numerical loops in Prolog

Inferring Termination Conditions for Logic Programs using Backwards Analysis

Initial Semantics for Strengthened Signatures

Instruction sequence notations with probabilistic instructions

Instruction sequences for the production of processes

Instruction sequences with dynamically instantiated instructions

Instruction sequences with indirect jumps

Instruments for the exploration of structural patterns in digitized astronomical images