477 search results - page 1 / 96 » Design patterns in separation logic |
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
EUROPLOP
2006
13 years 6 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
VSTTE
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
SERP
2003
13 years 6 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
ICAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...