Parameter passing in algebraic specification languages-Reference-Cited by-同舟云学术

Parameter passing in algebraic specification languages

Published:1983 Issue:1-2 Volume:28 Page:45-81
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

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

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference40 articles.

1. Abstract data types as initial algebras and correctness of data representations;Goguen;Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structure,1975

2. Specification of abstract data types using conditional axioms;Thatcher;IBM Res. Rept. RC-6214,1976

3. An initial algebra approach to the specification, correctness, and implementation of abstract data types;Goguen,1976-1978

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

5. Parameterized data types in algebraic specification languages;Ehrig;Proc. 7th ICALP,1980

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

1. ON THE FRAGILITY OF INTERPOLATION;The Journal of Symbolic Logic;2024-03-21

2. A Unifying Logical Foundation for Initial Algebra Semantics and Induction;2024

3. Order-Sorted Parameterization and Induction;Semantics and Algebraic Specification;2009

4. An lgebraic framework for higher-order odules;FM’99 — Formal Methods;1999

5. Parameterised higher-order algebraic specifications;Algebraic and Logic Programming;1997