Parameterized data types in algebraic specification languages-Reference-Cited by-同舟云学术

Parameterized data types in algebraic specification languages

Published:1980 Issue: Volume: Page:157-168
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Ehrig Hartmut,Kreowski Hans-Jörg,Thatcher James,Wagner Eric,Wright Jesse

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10003-2_68

Reference24 articles.

1. ADJ (JAG, JWT, EGW, JBW). "Abstract data types as initial algebras and correctness of data representations," Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure, May 1975, pp. 89–93.

2. ADJ (JWT, EGW, JBW) "Specification of abstract data types using conditional axioms," IBM Research Report RC-6214, September 1976.

3. IBM Research Report;J. A. Goguen,1978

4. ADJ (JWT, EGW, JBW) "Data Type Specification: parameterization and the power of specification techniques," Proceedings, SIGACT 10th Annual Symposium on Theory of Computing, May, 1978, pp. 119–132.

5. ADJ (HE, H-JK, JWT, EGW, JBW) "Parameter passing in algebraic specification languages," Technical Report to appear, 1980.

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

1. Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes;Software Service and Application Engineering;2012

2. Functorial theory of a parameterized specifications in a general specification framework;Theoretical Computer Science;1994-12

3. Dependent types considered necessary for specification languages;Recent Trends in Data Type Specification;1991

4. Algebraic Specification;Formal Models and Semantics;1990

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