4 search results - page 1 / 1 » E-path_PRE: partial redundancy elimination made easy |
SIGPLAN
2002
13 years 10 months ago
2002
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
BMCBI
2008
13 years 11 months ago
2008
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
TLDI
2005
ACM
14 years 4 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...