82 search results - page 6 / 17 » Abstraction of Object Graphs in Program Verification |
129
click to vote
GPC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
IBPRIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
103
Voted
OOPSLA
1999
Springer
15 years 1 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
100
click to vote
JOT
2010
14 years 8 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...