publié le: April 2011
Type constraints express subtype relationships between the types of program expressions, for example, those relationships that are required for type...
Since its introduction by Joseph A. Fisher in 1979, trace scheduling has influenced much of the work on compile-time ILP (Instruction Level Paralleli...
We present practical algorithms for computing exact least solutions of equation systems over the reals with addition, multiplication by positive cons...
publié le: July 2011
The language JavaGI extends Java 1.5 conservatively by a generalized interface mechanism. The generalization subsumes retroactive and type-conditiona...
A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy. In general, certific...
