359 search results - page 27 / 72 » Abstract Patterns of Compositional Reasoning |
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
123
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
125
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
157
click to vote
JOOP
1998
15 years 1 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
118
click to vote
INFSOF
2008
15 years 1 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...