11 search results - page 1 / 3 » pepm 2010 |
79
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
67
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
90
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...
79
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
84
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...