3796 search results - page 436 / 760 » Presentations by Programmers for Programmers |
130
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
131
click to vote
IVS
2007
15 years 4 months ago
2007
At the first international Visualization Summit, more than 100 international researchers and practitioners defined and assessed nine original and important research goals in the c...
146
click to vote
IUI
2012
ACM
13 years 11 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
248
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
254
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...