8766 search results - page 730 / 1754 » Functional logic programming |
150
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
266
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
160
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a method for creating scheduling heuristics for parallel proportional machine scheduling environment and arbitrary performance criteria. Genetic programmin...
179
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
187
click to vote
CEC
2003
IEEE
16 years 3 days ago
2003
IEEE
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...