mathematics
and
computer
science

LANS

LANS Publications

"Gaining Confidence in Scientific Applications through Executable Interface Contracts"

T. Dahlgren, D. Bernholdt, L. C. McInnes

Preprint ANL/MCS-P1521-0708

Preprint Version: [pdf]

Interface contract enforcement is intended to help scientists gain confidence in software built from third-party components. Unfamiliar components present increased risk of incorrect or unanticipated usage patterns and unexpected component behavior. Executable interface contracts can address these issues but may incur unacceptable overhead. Research into techniques for performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.