3689 search results - page 421 / 738 » A Language with Distributed Scope |
110
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The Java programming environment is increasingly being used to build large-scale multi-language applications. Whether these applications combine Java with other languages for legac...
134
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
128
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
173
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
154
click to vote
COORDINATION
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...