5090 search results - page 404 / 1018 » Constructing Strategies for Programming |
151
click to vote
SIGCSE
2004
ACM
16 years 7 days ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
148
Voted
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
180
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
251
click to vote
WAC
2004
Springer
16 years 4 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
195
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...