25 search results - page 2 / 5 » Expressive Synchronization Types for Inheritance in the Join... |
LICS
1993
IEEE
13 years 9 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
AC
2000
Springer
13 years 9 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
FOSSACS
2006
Springer
13 years 8 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...