5863 search results - page 450 / 1173 » Calculating Functional Programs |
195
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
196
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
212
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
211
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
206
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...