Proving assertions is also useful

Authors:
Jürgen F. H. Winkler;Stefan Kauer
Affiliations:
Friedrich Schiller University, Institute of Computer Science, D-07740 Jena, Germany;Friedrich Schiller University, Institute of Computer Science, D-07740 Jena, Germany
Venue:
ACM SIGPLAN Notices
Year:
1997

Citing 0
Cited 2

A safe variant of the unsafe integer arithmetic of JavaTM

Software—Practice & Experience
Aspect Composition Applying the Design by Contract Principle

GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers

Quantified Score

Hi-index	0.00

Visualization

Abstract