CafeOBJ Jewels (abstract)

This paper presents the several important features and specification/verification methodologies of CafeOBJ via a collection of elegant examples. This paper might also serve as a tutorial introduction to CafeOBJ. Besides this, we hope that from this paper the reader will be able to appreciate the beauty of CafeOBJ.

click here for the full paper--79K