A simple class of algorithmic specifications for abstract software modules-Reference-Cited by-同舟云学术

A simple class of algorithmic specifications for abstract software modules

Published: Issue: Volume: Page:362-374
ISSN:
Container-title:Mathematical Foundations of Computer Science 1980
language:
Short-container-title:

Author:

Klaeren Herbert A.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0022517

Reference5 articles.

1. H.D. Ehrich Extensions and Implementations of Abstract Data Type Specifications VIIth MFCS, 1978, Pp. 155–164.

2. H. Ehrig, H.-J. Kreowski, P. Padawitz Stepwise Specification and Implementation of Abstract Data Types Vth ICALP, Udine, 1978.

3. J.A. Goguen, J.W. Thatcher, E.G. Wagner An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types IBM Research Report, RC 6487, 1976.

4. H. Klaeren Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Dissertation, RWTH Aachen, 1980.

5. J.W. Thatcher, E.G. Wagner, J.B. Wright Data Type Specification: Parameterization and the Power of Specification Techniques 10th STOC, 1978.

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

1. Algebraic Specification;Formal Models and Semantics;1990

2. Semantics of algorithmic languages;Journal of Soviet Mathematics;1984-06

3. Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability;ACM Transactions on Programming Languages and Systems;1983-07

4. Bibliographie;Algebraische Spezifikation;1983

5. A simple transfer lemma for algebraic specifications;Information Processing Letters;1982-04