1027 search results - page 53 / 206 » Language Support for Connector Abstractions |
POPL
1994
ACM
14 years 1 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
ECOOP
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
CL
1999
Springer
13 years 8 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...