Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

@inproceedings{Diaconescu1998CafeobjR,
  title={Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification},
  author={R. Diaconescu and K. Futatsugi},
  booktitle={AMAST Series in Computing},
  year={1998}
}
Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises. 
242 Citations

Topics from this paper

Proving Behavioral Refinements of COL-specifications
  • 7
  • PDF
The role of logical interpretations in program development
  • 9
  • PDF
An Equational Specification for the Scheme Language
  • 21
  • PDF
Introducing H, an institution-based formal specification and verification language
  • PDF
Logics of Specification Languages
  • 82
  • Highly Influenced
Principles of proof scores in CafeOBJ
  • 29
Structural induction in institutions
  • 7
  • PDF
Initial semantics in logics with constructors
  • 12
  • PDF
Constructor-based Logics
  • 19
  • PDF
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications
  • 1
...
1
2
3
4
5
...