4722 search results - page 158 / 945 » Encoding Program Executions |
117
click to vote
LISP
1998
15 years 4 months ago
1998
Abstract. RainbowScheme is a visual stepping system that presents Scheme program’s runtime state using icons, colored environment trees, and colored Scheme code. A Scheme program...
116
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
159
click to vote
AAMAS
2011
Springer
14 years 12 months ago
2011
Springer
We consider a problem domain where coalitions of agents are formed in order to execute tasks. Each task is assigned at most one coalition of agents, and the coalition can be reorg...
172
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
147
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speci...