2501 search results - page 249 / 501 » Obligations and Their Interaction with Programs |
145
click to vote
ESOP
1999
Springer
15 years 10 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....
166
click to vote
ECLIPSE
2007
ACM
15 years 10 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...
176
Voted
FM
2006
Springer
15 years 9 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
132
click to vote
AAAI
1994
15 years 7 months ago
1994
The Turing Test was proposed by Alan Turing in 1950; he called it the Imitation Game. In 1991 Hu Loebner prize competition, offering a f h Loebner started the 100,000 prize to the...
158
Voted
NIPS
1993
15 years 7 months ago
1993
The game of Go has a high branching factor that defeats the tree search approach used in computer chess, and long-range spatiotemporal interactions that make position evaluation e...