PEPM
1999
ACM
14 years 11 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
ECRTS
1998
IEEE
14 years 11 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
OOPSLA
2009
Springer
15 years 1 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...