12452 search results - page 19 / 2491 » An exploration of program as language |
POPL
2005
ACM
14 years 11 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
COORDINATION
2004
Springer
14 years 4 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The term “software evolution” is generally used as an analogy for biological evolution. This paper explores that analogy in more depth, analyzing software evolution f...
ICALP
2010
Springer
14 years 23 days ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...