19 search results - page 3 / 4 » A Type System for Client Progress in a Service-Oriented Calc... |
133
click to vote
ASIAN
2006
Springer
15 years 9 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...
141
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
196
click to vote
SEFM
2007
IEEE
16 years 1 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
137
click to vote
FLOPS
2010
Springer
16 years 18 days ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
159
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...