3311 search results - page 132 / 663 » Deductive Object Programming |
122
click to vote
COOTS
1998
15 years 3 months ago
1998
Execution patterns are a new metaphor for visualizing execution traces of object-oriented programs. We present an execution pattern view that lets a programmer visualize and explo...
122
click to vote
ENTCS
2006
15 years 1 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
111
Voted
POS
1992
Springer
15 years 5 months ago
1992
Springer
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
118
Voted
AAAI
2007
15 years 4 months ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
130
click to vote
POS
1994
Springer
15 years 5 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...