Searching for "Invariant Based Programming." – sorted by Relevance.
-
Invariant based programming revisited
- Ralph-Johan Back Invariant Based Programming Revisited TUCS Technical Report No 661, January 2005
- Cited by 3 (1 self) – Add To MetaCart
-
Verifying invariant based programs in the SOCOS environment
- Invariant Based Programs in the SOCOS Environment Ralph-Johan Back Åbo Akademi University, Department
- Cited by 3 (1 self) – Add To MetaCart
-
Teaching the construction of correct programs using invariant based programming
- Teaching the Construction of Correct Programs Using Invariant Based Programming Ralph-Johan Back
- Cited by 1 (0 self) – Add To MetaCart
-
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java
- verication. Dynamic detection proposes likely invariants based on program executions, but the resulting
- Cited by 44 (3 self) – Add To MetaCart
-
The Daikon system for dynamic detection of likely invariants
- -conditions) [23]. 4.5 Verification Dynamic invariant detection proposes likely invariants based on program
- Cited by 32 (2 self) – Add To MetaCart
-
Using Simulated Execution in Verifying Distributed Algorithms
- invariant detector is a run-time tool that proposes invariants based on program executions [ECGN01
- Cited by 21 (7 self) – Add To MetaCart
-
Reasoning About a Classification of Crosscutting Concerns in Object-Oriented Systems
- of the invariants of base programs? Aspectual behavior could potentially alter the behavior of methods or components
- Cited by 5 (0 self) – Add To MetaCart
-
Second Workshop on Aspect-Oriented Software Development
- of the invariants of base programs? Aspectual behavior could potentially alter the behavior of methods or components
- Add To MetaCart

