1002 search results - page 4 / 201 » Reasoning about Object Structures Using Ownership |
102
Voted
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
85
Voted
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
151
click to vote
HLPPP
1991
15 years 4 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
98
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
101
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...