1173 search results - page 138 / 235 » Program Derivation Using Analogy |
134
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
99
Voted
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper compares two grammar based Evolutionary Automatic Programming methods, Grammatical Evolution (GE) and Chorus. Both systems evolve sequences of derivation rules...
122
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
110
Voted
LREC
2010
15 years 4 months ago
2010
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...
88
Voted
CCE
2008
15 years 2 months ago
2008
This paper presents a technique for simultaneous targeting and design in cooling water systems comprising of at least two cooling towers and several cooling water using operations...