Logical foundations of CafeOBJ

@article{Diaconescu2002LogicalFO,
  title={Logical foundations of CafeOBJ},
  author={R. Diaconescu and K. Futatsugi},
  journal={Theor. Comput. Sci.},
  year={2002},
  volume={285},
  pages={289-318}
}
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it several new primitive paradigms such as behavioural concurrent specification and rewriting logic.We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic specification and structured specification, including also the definition of the CafeOBJ institution… Expand
109 Citations
Chapter 2 – CafeOBJ Jewels
  • 8
Quasi-boolean encodings and conditionals in algebraic specification
  • R. Diaconescu
  • Computer Science, Mathematics
  • J. Log. Algebraic Methods Program.
  • 2010
  • 13
  • PDF
Foundations of Algebraic Specification and Formal Software Development
  • 153
  • PDF
Formal Methods in CafeOBJ
  • 10
Institution Morphisms
  • 190
  • PDF
A Methodological Guide to the CafeOBJ Logic
  • 9
Foundations of Structured Specifications
    • PDF
    Maude's module algebra
    • 31
    Institution-independent Ultraproducts
    • 56
    ...
    1
    2
    3
    4
    5
    ...

    References

    SHOWING 1-10 OF 61 REFERENCES
    Logical support for modularisation
    • 209
    • Highly Influential
    Behavioural Coherence in Object-oriented Algebraic Speciication 1; 2
    • 2
    • PDF
    Towards an Algebraic Semantics for the Object Paradigm
    • 184
    Component-Based Algebraic Specification and Verification in CafeOBJ
    • 40
    • PDF
    Membership algebra as a logical framework for equational specification
    • 473
    • Highly Influential
    Conditioned Rewriting Logic as a United Model of Concurrency
    • J. Meseguer
    • Computer Science, Mathematics
    • Theor. Comput. Sci.
    • 1992
    • 1,041
    • Highly Influential
    • PDF
    Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages
    • R. Diaconescu
    • Computer Science, Mathematics
    • Appl. Categorical Struct.
    • 1998
    • 44
    • PDF
    ...
    1
    2
    3
    4
    5
    ...