Journal of the ACM Bibliography
J. A. Bergstra, J. Heering, and P. Klint. Module algebra.
Journal of the ACM, 37(2):335-372, April 1990.
[BibTeX entry]
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.
- J. A. Bergstra and Jan Heering. Homomorphism preserving algebraic
specifications require hidden sorts. Information and
Computation, 119(1):119-123, 15 May 1995.
- José Luiz Fiadeiro and Tom Maibaum. Categorical semantics
of parallel program design. Science of Computer
Programming, 28(2-3):111-138, April 1997.
- 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.
- Paulo A. S. Veloso and Thomas S. E. Maibaum. On the Modularization
Theorem for logical specifications. Information Processing
Letters, 53(5):287-293, 10 March 1995.
Shortcuts: