Compatibility of parameter passing and implementation of parameterized data types-Reference-Cited by-同舟云学术

Compatibility of parameter passing and implementation of parameterized data types

Published:1983 Issue:3 Volume:27 Page:255-286
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Ehrig H.,Kreowski H.-J.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference31 articles.

1. An initial algebra approach to the specification correctness and implementation of abstract data types;Goguen;IBM Res. Rept. RC-6487,1976

2. Data type specification: Parameterization and the power of specification techniques;Thatcher;Proc. SIGACT 10th Ann. Symp. on Theory of Computing,1978

3. Data type specification: Parameterization and the power of specification techniques;Thatcher;ACM TOPLAS,1982

4. Parameterized data types in algebraic specification languages (short version);Ehrig;Proc. 7th ICALP Noordwijkerhout,1980

5. Parameter passing in algebraic specification languages;Ehrig,1981

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

1. Algebraic implementation of abstract data types: a survey of concepts and new compositionality results;Mathematical Structures in Computer Science;1996-02

2. Towards a theory for the animation of algebraic specifications;Recent Trends in Data Type Specification;1994

3. Implementation and behavioural equivalence: A survey;Recent Trends in Data Type Specification;1993

4. Union and actualization of module specifications: Some compatibility results;Journal of Computer and System Sciences;1987-08

5. Algebraic specification of modules and their basic interconnections;Journal of Computer and System Sciences;1987-04