9626 search results - page 151 / 1926 » Invariant Based Programming |
148
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
264
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
165
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
176
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, a multiobjective (MO) learning approach to image feature extraction is described, where Pareto-optimal interest point (IP) detectors are synthesized using genetic p...
136
click to vote
ITICSE
2003
ACM
15 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...