440 search results - page 45 / 88 » Local reasoning for abstraction and sharing |
107
click to vote
ASWC
2006
Springer
15 years 5 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
ACS
2008
15 years 2 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
143
click to vote
CC
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
CHI
2007
ACM
16 years 2 months ago
2007
ACM
People enjoy jogging with others for social and motivational reasons. However, as reported by forum participants, finding a compatible, local jogging partner who shares the abilit...
PODC
2010
ACM
15 years 5 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...