Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing-Reference-Cited by-同舟云学术

Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing

Published:1989 Issue: Volume: Page:244-260
ISSN:0302-9743
Container-title:Categorical Methods in Computer Science With Aspects from Topology
language:
Short-container-title:

Author:

Qian Zhenyu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51722-7_14.pdf

Reference13 articles.

1. Goguen, J.A., Thatcher, J.W. and Wagner, E.G.: "An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types." In: R. T. Yeh(ed.) Current Trends in Programming Methodology, Vol. IV, Data Structure; Prentice Hall (1978) 80–149.

2. Blum, E.K., Ehrig, H., Parisi-Presicce, F.: "Algebraic Specification of Modules and Their Basic Interconnections." In: Journal of Computer System Science, 34 (1987) 293–339

3. Blum,E.K. and Parisi-Presicce,F.: "The Semantics of Shared Submodules Specifications." In: Proc. TAPSOFT 85. LNCS 186. 1985

4. Cohn,P.M.: "Universal Algebra" D.Reidel Publishing Company.

5. Ehrig, H., Kreowski, H.-J.: "Pushout-Properties: An analysis for gluing constructions for graphs." In: Math. Nachr. 91,135–149 (1979).

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. What is an Abstract Data Type, after all?;Recent Trends in Data Type Specification;1995

2. Order-sorted algebraic specifications with higher-order functions;Algebraic Methodology and Software Technology;1995

3. The use of sorts in algebraic specifications;Recent Trends in Data Type Specification;1993