1173 search results - page 34 / 235 » Program Derivation Using Analogy |
PODS
1991
ACM
14 years 1 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
IV
2007
IEEE
14 years 4 months ago
2007
IEEE
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...
ACL
2012
12 years 15 days ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ...
ICCSA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a nonlinear programming solution to one of the most challenging problems in trajectory optimization. Unlike most aerospace trajectory optimization problems...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...