Journal of the ACM Bibliography
H.-D. Ehrich. On the theory
of specification, implementation, and parametrization of abstract data
types. Journal of the ACM, 29(1):206-227, January 1982.
[BibTeX entry]
Selected papers that cite this one
- Joseph A. Goguen. A categorical
manifesto. Mathematical Structures in Computer Science,
1(1):49-67, March 1991.
- 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.
- 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.
- Paulo A. S. Veloso. On pushout consistency,
modularity and interpolation for logical specifications.
Information Processing Letters, 60(2):59-66, 28 October
1996.
- 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: