Cafe : an industrial-strength algebraic formal method /
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project invol...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; New York :
Elsevier,
2000.
|
| Edition: | 1st ed. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete. |
|---|---|
| Item Description: | Selected papers from a symposium held in Numazu, April 1998. |
| Physical Description: | 1 online resource (xiv, 193 pages) : illustrations |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9780080528403 0080528406 9780444505569 0444505563 |