Searching for "Methods as Assertions." – sorted by Relevance.
-
Methods as Assertions
- Methods as Assertions John Lamping 1 , Mart'in Abadi 2 1 Xerox PARC 3333 Coyote Hill Road
- Cited by 11 (1 self) – Add To MetaCart
-
The Transition Assertions Specification Method
- The Transition Assertions Specification Method Victor A. Carre~no vac@(email omitted); NASA
- Add To MetaCart
-
The Transition Assertions Specification Method
- The Transition Assertions Specification Method Victor A. Carre~no vac@(email omitted); NASA
- Add To MetaCart
-
Policy-Enforced Linking of Untrusted Components (Extended Abstract)
- Descriptors D.2.4 [Software Engineering]: Software/Program Verification—formal methods, assertion checkers
- Add To MetaCart
-
Assertional and Behavioural Refinement in Coalgebraic Specification
- exibility, especially in the presence of non-public methods. Assertional renement is shown to be a special
- Add To MetaCart
-
Architectural Reconstruction
- the building model and the camera parameters. This method asserts that geometric rules are perfectly respected
- Add To MetaCart
-
Floating Point Fault Tolerance with Backward Error Assertions
- previous methods, this Backward Error Assertion Model is specifically designed to operate in an environment
- Cited by 5 (1 self) – Add To MetaCart
-
Wrappers to the Rescue
- method wrappers to construct several extensions to Smalltalk: synchronized methods, assertions
- Cited by 73 (2 self) – Add To MetaCart
-
An Evaluation of Specification-Derived Assertions
- is concerned with verification of a program’s output, assertions provide a method for verifying the internal
- Add To MetaCart
-
Control Predicates are Better than Dummy Variables for Reasoning about Program Control
- -Gries method, as in Floyd's method, a program is annotated by attaching assertions to control points. The major
- Cited by 8 (0 self) – Add To MetaCart

