Foundations of Heterogeneous Specification

This publication has 29 references indexed in Scilit:

• Relating CASL with other specification languages: the institution level
  Theoretical Computer Science, 2002
• Logical foundations of CafeOBJ
  Theoretical Computer Science, 2002
• Institutions: integrating objects, XML and databases
  Information and Software Technology, 2002
• Structured Theories and Institutions
  Electronic Notes in Theoretical Computer Science, 1999
• May I borrow your logic? (Transporting logical structures along maps)
  Theoretical Computer Science, 1997
• Interpolation and compactness in categories of pre-institutions
  Mathematical Structures in Computer Science, 1996
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
  Mathematical Structures in Computer Science, 1995
• How to cope with the Spectrum of Spectrum
  1995
• From abstract data types to logical frameworks
  1995
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992