359 search results - page 8 / 72 » Abstract Patterns of Compositional Reasoning |
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
RSS
2007
13 years 10 months ago
2007
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
MPC
2010
Springer
13 years 10 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
ECOOPW
1994
Springer
14 years 24 days ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....