4835 search results - page 641 / 967 » Refactoring Functional Programs |
174
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
175
click to vote
APLAS
2006
ACM
16 years 20 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
212
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
182
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...
169
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...