Idempotent I/O for safe time travel

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07

Implementing Continuation based language in GCC

Implementing Equational Constraints in a Functional Language

Implementing Explicit and Finding Implicit Sharing in Embedded DSLs

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Improved Inference for Checking Annotations

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