3706 search results - page 420 / 742 » The Transformational Approach to Program Development |
132
Voted
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
125
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
127
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
145
Voted
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
147
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...