314 search results - page 27 / 63 » An Imperative Object Calculus |
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
ASIAN
2006
Springer
14 years 28 days 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...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
LMO
1996
13 years 10 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...