2797 search results - page 351 / 560 » Code query by example |
121
click to vote
ENTCS
2007
15 years 3 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
145
Voted
ENTCS
2007
15 years 3 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
153
click to vote
ENTCS
2007
15 years 3 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
139
click to vote
PC
2008
15 years 3 months ago
2008
We present a distributed scheme for initialization from atomic wavefunctions in ab initio molecular dynamics simulations. Good initial guesses for approximate wavefunctions are ve...
126
Voted
STTT
2008
15 years 3 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...