7430 search results - page 282 / 1486 » Programming Applications in CIFF |
145
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
As programs evolve, their code increasingly becomes tangled by programmers and requirements. This mosaic quality complicates program comprehension and maintenance. Many of these a...
119
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
172
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
131
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...