论文信息 - Another Look at Parameterization Using Algebras with Subsorts - 字舞流文

Another Look at Parameterization Using Algebras with Subsorts

[1] Martin Gogolla,et al. Partially Ordered Sorts in Algebraic Specifications , 1984, CAAP.

[2] Hartmut Ehrig,et al. Algebraic Implementation of Abstract Data Types , 1982, Theor. Comput. Sci..

[3] Hartmut Ehrig,et al. Parameter passing commutes with implementation of parameterized data types , 1982 .

[4] Martin Wirsing,et al. Implementation of parameterised specifications: Automata, Languages and Programming , 1982 .

[5] Udo W. Lipeck. Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen , 1982 .

[6] Martin Wirsing,et al. Implementation of Parameterised Specifications (Extended Abstract) , 1982, ICALP.

[7] J. A. Goguen,et al. Completeness of many-sorted equational logic , 1981, SIGP.

[8] D. G. Elliott,et al. FORTRAN 77 and structured design , 1981, SIGP.

[9] Hartmut Ehrig,et al. Parameter Passing in Algebraic Specification Languages , 1981, Theor. Comput. Sci..