82 search results - page 6 / 17 » Abstraction of Object Graphs in Program Verification |
155
Voted
GPC
2010
Springer
15 years 4 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...
109
Voted
IBPRIA
2007
Springer
15 years 6 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 ...
128
Voted
OOPSLA
1999
Springer
15 years 4 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...
126
click to vote
JOT
2010
14 years 10 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...
90
Voted
CORR
2007
Springer
15 years 10 days 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...