314 search results - page 4 / 63 » An Imperative Object Calculus |
89
Voted
CMSB
2009
Springer
15 years 6 months ago
2009
Springer
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
91
Voted
DOCENG
2009
ACM
14 years 9 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
84
Voted
ROOM
2000
15 years 29 days ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
RAS
2008
14 years 11 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...