CafeOBJ traces

0Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We survey two important distinctive features of CafeOBJ, namely behavioural specification based upon coherent hidden algebra and heterogeneous specification based upon Grothendieck institutions. Both of them represent seminal contributions to formal specification culture that go much beyond the realm of CafeOBJ. Our presentation includes rather detailed explanations of the motivations and of the process leading to the inception of these concepts and theories. The paper is dedicated to Professor Kokichi Futatsugi, the leader of the CafeOBJ project, and also close friend and collaborator, on the occasion of his retirement. © 2014 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Diaconescu, R. (2014). CafeOBJ traces. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8373, 53–65. https://doi.org/10.1007/978-3-642-54624-2_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free