14 search results - page 2 / 3 » pepm 2009 |
113
click to vote
PEPM
2009
ACM
16 years 16 days ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
107
Voted
PEPM
2009
ACM
16 years 16 days ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
123
Voted
PEPM
2009
ACM
16 years 16 days ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
150
Voted
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
123
Voted
PEPM
2009
ACM
16 years 16 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...