An overview of CafeOBJ

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 285-298

  Diaconescu, Razvan ^a   Futatsugi, Kokichi ^a   Ishisone, Makoto ^b   Nakagawa, Atarn T ^b   Sawada, Toshimi ^b  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b SRA   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; ABSTRACTING; ALGEBRA; COMPUTATION THEORY;

ALGEBRAIC SPECIFICATIONS; COMPUTING SCIENCE; INDUSTRIAL STRENGTH; INITIAL ALGEBRAS; LANGUAGE DESIGN; MATHEMATICAL THEORY; NATURAL NUMBER; THEORY AND PRACTICE;

GROUP THEORY;

EID: 84875117931     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80017-9     Document Type: Conference Paper

References (51)

1. Rod Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach. In A. William Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75-92. Prentice-Hall, 1994. Also in Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992.
2. Rod Burstall and Joseph Goguen. Putting theories together to make specifications. In Raj Reddy, editor, Proceedings, Fifth International Joint Conference on Artificial Intelligence, pages 1045-1058. Department of Computer Science, Carnegie-Mellon University, 1977.
3. Rod Burstall and Joseph Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, pages 292-332. Springer, 1980. Lecture Notes in Computer Science, Volume 86; based on unpublished notes handed out at the Symposium on Algebra and Applications, Stefan Banach Center, Warsaw, Poland, 1978.
4. C. Neville Dean and Michael G. Hinchey, editors. Teaching and Learning Formal Methods. Academic Press, 1996.
5. Razvan Diaconescu. Category-based Semantics for Equational and Constraint Logic Programming. PhD thesis, University of Oxford, 1994.
6. Razvan Diaconescu. Behavioural rewriting logic: semantic foundations and proof theory, October 1996. Submitted to publication.
7. Razvan Diaconescu. A category-based equational logic semantics to constraint programming. In Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors, Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science, pages 200-221. Springer, 1996. Proceedings of 11th Workshop on Specification of Abstract Data Types. Oslo, Norway, September 1995. (Pubitemid 126124986)
8. Razvan Diaconescu. Foundations of behavioural specification in rewriting logic. In Proceedings, First International Workshop on Rewriting Logic and its Applications. Asilomar, California, September 1996., volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1996.
9. Razvan Diaconescu. Extra theory morphisms for institutions: logical semantics for multi-paradigm languages. J. of Applied Categorical Structures, 1998. To appear; a preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997.
10. Razvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31-54. Proceedings of an ICSE'98 workshop held in Kyoto, Japan, published as Technical Report TUM-I9803, Technical University Munchen, 1998. Preliminary version appeared as Technical Report IS-RR-96-0024S at Japan Advanced Institute for Science and Technology in 1996.
11. Razvan Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998. Submitted to publication.
12. Razvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, volume 6 of AMAST Series in Computing. World Scientific, 1998.
13. Razvan Diaconescu, Kokichi Futatsugi, and Shuusaku Iida. CafeOBJ jewels. In Proceedings of the CafeOBJ Symposium'98. CafeOBJ Project, 1998.
14. Razvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83-130. Cambridge, 1993. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991.
15. K. Futatsugi, J.A. Goguen, J. Meseguer, and K. Okada. Parameterized programming in OBJ2. In Proc. of the 9th Intl. Conf. on Software Engineering, pages 51-60, 1987.
16. K. Futatsugi, J.A. Goguen, J. Meseguer, and K. Okada. Parameterized programming and its application fo rapid prototyping in OBJ2. In U. Olino and Y. Matsumoto, editors, Japanese Perspectives on Software Engineering, pages 77-102. Adison-Wesley, 1989.
17. Kokichi Futatsugi. Hierarchical software development in HISP. In T. Kitagawa, editor, Computer Science and Technologies 1982, pages 151-174. OHMSA/North Holland, 1982. Japan Annual Review in Electronics, Computer and Telecommunications Series.
18. Kokichi Futatsugi. Trends in formal specification methods based on algebraic specification techniques-from abstract data types to software processes: A personal perspective. In Proceedings, International Conference Commemorating the 30th Anniversary of the Information Processing Society of Japan, pages 59-66. Information Processing Society of Japan, 1990.
19. Kokichi Futatsugi. Trends in formal specification methods based on algebraic specification techniques. In Proceedings of Info Japan'90 Computer Conference, Part 1. IPSJ, 1990.
20. Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and Jose Meseguer. Principles of OBJ2. In Proceedings of the 12th ACM Symposium, on Principles of Programming Languages, pages 52-66. ACM, 1985.
21. Kokichi Futatsugi and Koji Okada. Specification writing as construction of hierarchically structured clusters of operators. In Proceedings, 1980 IFIP Congress, pages 287-292. IFIP, 1980. (Pubitemid 11494034)
22. Kokichi Futatsugi and Koji Okada. A hierarchical structurting method for functional software systems. In Proceedings, 6th International Conference on Software Engineering, pages 393-402. IEEE, 1982.
23. Joseph Goguen. Memories of ADJ. Bulletin of the European Association for Theoretical Computer Science, 36:96-102, October 1989. Guest column in the 'Algebraic Specification Column.' Also in Current Trends in Theoretical Computer Science: Essays and Tutorials, World Scientific, 1993, pages 76-81.
24. Joseph Goguen. Theorem Proving and Algebra. MIT, To appear.
25. Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Commuting Machinery, 39(1):95-146, January 1992. (Pubitemid 23600413)
26. Joseph Goguen and Razvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4(4):363-392, 1994.
27. Joseph Goguen and Razvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1-34. Springer, 1994.
28. Joseph Goguen and Grant Malcolm. A hidden agenda. Technical Report CS97-538, University of California at San Diego, 1997.
29. Joseph Goguen and Jose Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295-363. Prentice-Hall, 1986. An earlier version appears in Journal of Logic Programming, Volume 1, Number 2, pages 179-210, September 1984.
30. Joseph Goguen and Jose Meseguer. Models and equality for logical programming. In Hartmut Ehrig, Giorgio Levi, Robert Kowalski, and Ugo Montanari, editors, Proceedings, 1987 TAPSOFT, pages 1-22. Springer, 1987. Lecture Notes in Computer Science, Volume 250.
31. Joseph Goguen and Jose Meseguer. Unifying functional, object-oriented and relational programming, with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417-477. MIT, 1987. Preliminary version in SIGPLAN Notices, Volume 21, Number 10, pages 153-162, October 1986.
32. Joseph Goguen and Jose Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Also, Programming Research Group Technical Monograph PRG-80, Oxford University, December 1989. (Pubitemid 23588280)
33. Joseph Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. Technical Report RC 6487, IBM T.J. Watson Research Center, October 1976. In Current Trends in Programming Methodology, IV, Raymond Yeh, editor, Prentice-Hall, 1978, pages 80-149.
34. Joseph Goguen, Timothy Winkler, Jose Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen, editor, Algebraic Specification with OBJ: An Introduction with Case Studies. Cambridge. To appear.
35. David Gries and Fred B. Schneider. A Logical Approach for Discrete Math. Springer-Verlag, 1993.
36. John Guttag. The Specification and Application to Programming of Abstract Data Types. PhD thesis, University of Toronto, 1975. Computer Science Department, Report CSRG-59.
37. Michael G. Hinchey and Jonathan P. Bowen, editors. Applications of Formal Methods. Prentice Hall, 1995.
38. Shusaku Iida, Kokichi Futatsugi, and Takuo Watanabe. Algebraic specification of distributed systems based on concurrent object-oriented modeling. In Elie Najm and Jean-Bernard Stefani, editors, Formal Methods for Open Object-based Distributed Systems. Chapman & Hall, 1996.
39. Shusaku Iida, Michihiro Matsumoto, Razvan Diaconescu, Kokichi Futatsugi, and Dorel Lucanu. Concurrent object composition in CafeOBJ. Technical Report IS-RR-98-0009S, Japan Advanced Institute for Science and Technology, 1998. Submitted to publication.
40. F. William Lawvere. An elementary theory of the category of sets. Proceedings, National Academy of Sciences, U.S.A., 52:1506-1511, 1964.
41. P. Lincoln M. Clavel, S. Eker and J. Meseguer. Principles of Maude. In Proceedings, First International Workshop on Rewriting Logic and its Applications. Asilomar, California, September 1996., volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1996.
42. Jose Meseguer. Membership algebra as a logical framework for equational specification. Invited paper at the Workshop on Algebraic Development Techniques, Tarquinia 1997.
43. Jose Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
44. Jose Meseguer. A logical theory of concurrent objects and its realization in the Maude language. In Peter Wegner Gul Agha and Aki Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT, to appear 1993. Also, Technical Report SRI-CSL-92-08, July 1992.
45. Ataru Nakagawa and Kokichi Futatsugi. Stepwise refinement with modularity: an algebraic approach. In Proc. of the 11th ICSE, pages 166-177, 1989.
46. Ataru Nakagawa and Kokichi Futatsugi. Software process a la algebra: OBJ for OBJ. In Proc. of the 12th ICSE, pages 12-32. IEEE Press, 1990.
47. Shin Nakajima and Kokichi Futatsugi. An object-oriented modeling method for algebraic specifications in CafeOBJ. In Proc. 19th Intl. Conf. on Software Engineering, pages 34-44. ACM, 1997.
48. K. Ohmaki, K. Futatsugi, and K. Takahashi. A basic lotos simulator in OBJ. In Proceedings of Info Japan'90 Computer Conference, Part 1, pages 497-504. IPSJ, 1990.
49. K. Okada and K. Futatsugi. Supporting the formal description process for communication protocols by an algebraic specification language OBJ2. In Proc. of Second International Symposium on Interoperable Information System (ISIIS'88), Tokyo, pages 334-343, 1988.
50. Andrew Stevens and Joseph Goguen. Mechanised theorem proving with 20BJ: A tutorial introduction. Technical report, Programming Research Group, University of Oxford, 1993.
51. Martin Wirsing. Algebraic specification. In Jan van Leeuwen, editor, Formal Models and Semantics, volume B. MIT Press/Elsevier, 1990.