Search

Your search keyword '"Kuiper, Ruurd"' showing total 2 results
Start Over Author "Kuiper, Ruurd" Publisher ios press
2 results on '"Kuiper, Ruurd"'

2. Specification and Verification of Invariants by Exploiting Layers in OO Designs.

Author

Middelkoop, Ronald, Huizing, Cornelis, Kuiper, Ruurd, and Luit, Erik J.

Subjects
INVARIANTS (Mathematics), ADIABATIC invariants, HAAR integral, INVARIANT imbedding, INVARIANT manifolds
Abstract

The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and introduce a new interpretation of invariants that exploits these layers. Furthermore, we present a sound, modular technique to statically verify that programs satisfy the new interpretation. [ABSTRACT FROM AUTHOR]

Published
2008

Catalog

Books, media, physical & digital resources
See catalog results