The semantics of shared submodules specifications-Reference-Cited by-同舟云学术

The semantics of shared submodules specifications

Published:1985 Issue: Volume: Page:359-373
ISSN:0302-9743
Container-title:Mathematical Foundations of Software Development
language:
Short-container-title:

Author:

Blum E. K.,Parisi-Presicce F.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15198-2_23.pdf

Reference7 articles.

1. Blum, E.K., Parisi-Presicce, F., Implementation of Data Types by Algebraic Methods, J. Comput. System Sci. 27, 2 (Oct. 1983) 304–330.

2. Ehrig, H., An Algebraic Specification Concept for Modules, Draft Version, Techn. Report No. 84-02, TU Berlin, FB 20, March 1984.

3. Ehrig, H., Kreowski, H.-J., Compatibility of Parameter Passing and Implementation of Parameterized Data Types, Theoret. Comp. Sci. 27(1983) 255–286.

4. Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P., Algebraic Implementation of Abstract Data Types, Theoret. Comp. Sci. 20(1982) 209–264.

5. Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B., Parameter Passing in Algebraic Specification Languages, Proc. Aarhus Workshop on Prog. Spec., 1981, LNCS 134(1982) 322–369.

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

1. On the Compatibility of Model and Model-Class Transformations;Recent Trends in Algebraic Development Techniques;2002

2. Foundations are rich institutions, but institutions are poor foundations;Categorical Methods in Computer Science With Aspects from Topology;1989

3. Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing;Categorical Methods in Computer Science With Aspects from Topology;1989