3311 search results - page 214 / 663 » Deductive Object Programming |
127
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
112
Voted
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
Wepresent an object-oriented framework for constructing parallel implementations of stencil algorithms. This framework simplifres the development process by encapsulating the comm...
151
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
128
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
109
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...