Abstract
A simple connection between transition graphs and algebraic specifications of data types is explained and its use in extracting equations for data abstraction is illustrated.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ADJ (Goguen, Thatcher & Wagner) — "An Initial Algebra Approach to the Specification, Correctness and Implementation of Data Types". Current Trends in Programming Methodology, Vol. IV, Data Structuring (Ed) R. Yeh, Prentice Hall, 1978.
ADJ (Thatcher, Wagner & Wright) "Data Type Specification and the Power of Specification Techniques". Proceedings SIGACT 10th Annual STOC.
Birkhoff, G. "On the Structure of Abstract Algebras", Proc. Cambridge Phil. Soc. Vol. 31, part 4, Oct. 1935.
Birkhoff, G. & Lipson, D. "Heterogeneous Algebras". J. Combinatorial Theory, 8, 1970.
Booth, T. "Sequential Machines and Automata Theory". Wiley, 1968.
Foo, N. & Nolan, G. "Correctness of Algebraic Specifications for Data Structures". Aust. Univ. Computer Science Seminar, 1978.
Guttag, J. "The Specification and Application to Programming of Abstract Data Types". Univ. of Toronto, CSRG Tech. Report 59, Sept. 1975.
Liskov, B. & Zilles "Formal Specifications for Data Abstraction". Current Trends in Programming Methodology, Vol II, (ed) R. Yeh, Prentice Hall, 1977.
Majster, M. "Limits of Algebraic Specifications". SIGPLAN Notices, 12, 1977.
Minsky, M. "Computation: Finite and Infinite Machines" Prentice Hall, 1967.
Nolan, G. "DASIMl: A Practical Exercise in Data Abstraction".
Seshu, S. & Reed, M. "Linear Graphs and Electric Networks". Addison-Wesley 1961.
Tarski, A. "Equational Logic and Equational Theories of Algebras". Contributions to Mathematical Logic (ed) Schutte, K. North Holland, 1968.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Foo, N.Y. (1980). Algebraic specifications and transition graphs. In: Tobias, J.M. (eds) Language Design and Programming Methodology. LDPM 1979. Lecture Notes in Computer Science, vol 79. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09745-7_10
Download citation
DOI: https://doi.org/10.1007/3-540-09745-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09745-7
Online ISBN: 978-3-540-38579-0
eBook Packages: Springer Book Archive