Searching for "Invariant Based Programming." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
