3926 search results - page 17 / 786 » A Logic of Object-Oriented Programs |
78
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
104
Voted
ICCL
1994
IEEE
15 years 1 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...
48
Voted
ECOOP
2003
Springer
15 years 2 months ago
2003
Springer
ATAL
2000
Springer
15 years 2 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...
60
Voted
IFIP
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we describe ICE, an object