Existential quantifiers in abstract data types-Reference-Cited by-同舟云学术

Existential quantifiers in abstract data types

Published:1979 Issue: Volume: Page:73-87
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Broy M.,Dosch W.,Partsch H.,Pepper P.,Wirsing M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-09510-1_7.pdf

Reference11 articles.

1. G. Birkhoff, J.D. Lipson: Heterogeneous Algebras. Journal of Combinatorial Theory 8, 115–133 (1970).

2. M. Broy, W. Dosch, H. Partsch, P. Pepper, M. Wirsing: Abstract Data Types: Some Theoretical Aspects and their Practical Consequences. To appear.

3. J. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: R.T. Yeh (ed.): Current trends in programming methodology, 4, Data Structuring, N.J.: Prentice-Hall, 1978.

4. J.V. Guttag: The Specification and Application to Programming of Abstract Data Types. Ph. D. Th., Univ. of Toronto, Dept. of Comp. Sci., Rep. CSRG-59, 1975.

5. J.V. Guttag, E. Horowitz, D.R. Musser: Abstract Data Types and Software Validation. USC/Information Sciences Institute, RR-76-48 (1976).

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

1. Separable Algorithmic Representations of Classical Systems and their Applications;Journal of Mathematical Sciences;2024-01

2. Computably Separable Models;Journal of Mathematical Sciences;2022-07

3. Abstract Constraint Data Types;Software, Services, and Systems;2015

4. Introducing Institutions;Universal Logic: An Anthology;2012

5. On the Power of Quantifiers in First-Order Algebraic Specification;Computer Science Logic;1999