Selected papers that cite this one
- Davide Ancona and Elena Zucca. A theory of mixin modules: basic and derived operators. Mathematical Structures in Computer Science, 8(4):401-446, August 1998.
- Virgil Emil C\u{a}z\u{a}nescu and Grigore Ro\c{s}u. Weak inclusion systems. Mathematical Structures in Computer Science, 7(2):195-206, April 1997.
- Maura Cerioli and José Meseguer. May I borrow your logic? (Transporting logical structures along maps). Theoretical Computer Science, 173(2):311-347, 28 February 1997.
- Maura Cerioli and Gianna Reggio. Very abstract specifications: a formalism independent approach. Mathematical Structures in Computer Science, 8(1):17-66, February 1998.
- José Luiz Fiadeiro and Tom Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28(2-3):111-138, April 1997.
- Joseph Goguen and R\u{a}zvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4(3):363-392, September 1994.
- Theo M. V. Janssen. Algebraic translations, correctness and algebraic compiler construction. Theoretical Computer Science, 199(1-2):25-56, 15 June 1998.
- Rosa M. Jiménez, Fernando Orejas, and Hartmut Ehrig. Compositionality and compatibility of parameterization and parameter passing in specification languages. Mathematical Structures in Computer Science, 5(2):283-314, June 1995.
- Hans-Jörg Kreowski and Till Mossakowski. Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras. Mathematical Structures in Computer Science, 5(2):189-215, June 1995.
- Fernando Orejas, Marisa Navarro, and Ana Sánchez. Algebraic implementation of abstract data types: a survey of concepts and new compositionality results. Mathematical Structures in Computer Science, 6(1):33-67, February 1996.
- Fernando Orejas, Elvira Pino, and Hartmut Ehrig. Institutions for logic programming. Theoretical Computer Science, 173(2):485-511, 28 February 1997.
- Antonino Salibra and Giuseppe Scollo. Interpolation and compactness in categories of pre-institutions. Mathematical Structures in Computer Science, 6(3):261-286, June 1996.
- Pierre-Yves Schobbens. Exceptions for algebraic specifications: on the meaning of ``but''. Science of Computer Programming, 20(1-2):73-111, April 1993.
- Amílcar Sernadas, Cristina Sernadas, and José Félix Costa. Object specification logic. Journal of Logic and Computation, 5(5):603-630, October 1995.
Selected references
- J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. Journal of the ACM, 24(1):68-95, January 1977.
- Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. In Proceedings, Symposium on Logic in Computer Science, pages 194-204, Ithaca, New York, 22-25 June 1987. The Computer Society of the IEEE.
- Donald Sannella and Andrzej Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2/3):165-210, February/March 1988.
- J. B. Wright, J. W. Thatcher, E. G. Wagner, and J. A. Goguen. Rational algebraic theories and fixed-point solutions. In 17th Annual Symposium on Foundations of Computer Science, pages 147-158, Houston, Texas, 25-27 October 1976. IEEE.