BibTeX
@MISC{Diaconescu_cafeobjjewels,
author = {Razvan Diaconescu and Kokichi Futatsugi and Shusaku Iida},
title = {CafeOBJ Jewels},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper gives an overview of the main features and methodologies of CafeOBJ by means of a collection of elegant examples. Therefore, this paper may also serve as a tutorial introduction to CafeOBJ. We hope that besides the strength of CafeOBJ, the reader will also appreciate the beauty of this language.
