Sciweavers

4835 search results - page 152 / 967
» Refactoring Functional Programs
Sort
View
COLT
2001
Springer
15 years 2 months ago
On the Synthesis of Strategies Identifying Recursive Functions
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
Sandra Zilles
ASPLOS
2010
ACM
15 years 2 months ago
Accelerating MATLAB Image Processing Toolbox functions on GPUs
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...
Jingfei Kong, Martin Dimitrov, Yi Yang, Janaka Liy...
DB
2008
107views more  DB 2008»
14 years 10 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
GECCO
2003
Springer
113views Optimization» more  GECCO 2003»
15 years 3 months ago
Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
Leonardo Bottaci
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
15 years 4 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...