11 search results - page 1 / 3 » pepm 2010 |
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
PEPM
2010
ACM
14 years 1 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ï...
PEPM
2010
ACM
14 years 1 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...
PEPM
2010
ACM
14 years 1 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...