3926 search results - page 17 / 786 » A Logic of Object-Oriented Programs |
POPL
2010
ACM
15 years 9 months ago
2010
ACM
116
click to vote
ICCL
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we describe ICE, an object