3307 search results - page 422 / 662 » The meaning of concurrent programs |
201
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
194
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
179
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
We address the problem of advice-taking in a given domain, in particular for building a game-playing program. Our approach to solving it strives for the application of machine lea...
182
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
197
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...