330 search results - page 29 / 66 » Reflections on a programming Olympiad |
133
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
191
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
259
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
140
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...
129
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...