Cafe Obj Report
Subtitle: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)
Publisher: World Scientific Publishing Company
Published: September 1998
Language: eng
Format: Hardcover
Number of pages: 174
ISBN-13: 9789810235130
Subjects: Algebra; Mathematical theory of computation; Object-oriented programming (OOP); Programming languages; Software engineering; Programming - Object Oriented Programming; Object-Oriented Programming; Computers; Technology & Industrial Arts; Science/Mathematics; Computer Science; Discrete Mathematics; Engineering - Electrical & Electronic
First sentence: CafeOBJ is a direct successor of OBJ, maybe the most famous algebraic language.