314 search results - page 4 / 63 » An Imperative Object Calculus |
CMSB
2009
Springer
14 years 3 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
14 years 2 months ago
2004
Springer
DOCENG
2009
ACM
13 years 7 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...
ROOM
2000
13 years 10 months 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
13 years 8 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-...