25 search results - page 1 / 5 » Expressive Synchronization Types for Inheritance in the Join... |
APLAS
2003
ACM
13 years 8 months ago
2003
ACM
FSTTCS
2000
Springer
13 years 8 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
APCSAC
2003
IEEE
13 years 8 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
SEFM
2007
IEEE
13 years 10 months 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 ...
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...