252 search results - page 5 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
SC
1995
ACM
13 years 11 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
ISSTA
2009
ACM
14 years 4 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
ECOOPW
1998
Springer
13 years 11 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
FIDJI
2003
Springer
14 years 21 days ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...