Algebraic specifications and transition graphs

  • Norman Y. Foo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 79)


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.


Data Type Transition Graph Finite Basis Graph Algebra State Transition Graph 
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.


  1. [A1]
    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.Google Scholar
  2. [A2]
    ADJ (Thatcher, Wagner & Wright) "Data Type Specification and the Power of Specification Techniques". Proceedings SIGACT 10th Annual STOC.Google Scholar
  3. [B1]
    Birkhoff, G. "On the Structure of Abstract Algebras", Proc. Cambridge Phil. Soc. Vol. 31, part 4, Oct. 1935.Google Scholar
  4. [B2]
    Birkhoff, G. & Lipson, D. "Heterogeneous Algebras". J. Combinatorial Theory, 8, 1970.Google Scholar
  5. [B3]
    Booth, T. "Sequential Machines and Automata Theory". Wiley, 1968.Google Scholar
  6. [F1]
    Foo, N. & Nolan, G. "Correctness of Algebraic Specifications for Data Structures". Aust. Univ. Computer Science Seminar, 1978.Google Scholar
  7. [G1]
    Guttag, J. "The Specification and Application to Programming of Abstract Data Types". Univ. of Toronto, CSRG Tech. Report 59, Sept. 1975.Google Scholar
  8. [L1]
    Liskov, B. & Zilles "Formal Specifications for Data Abstraction". Current Trends in Programming Methodology, Vol II, (ed) R. Yeh, Prentice Hall, 1977.Google Scholar
  9. [M1]
    Majster, M. "Limits of Algebraic Specifications". SIGPLAN Notices, 12, 1977.Google Scholar
  10. [M2]
    Minsky, M. "Computation: Finite and Infinite Machines" Prentice Hall, 1967.Google Scholar
  11. [N1]
    Nolan, G. "DASIMl: A Practical Exercise in Data Abstraction".Google Scholar
  12. [S1]
    Seshu, S. & Reed, M. "Linear Graphs and Electric Networks". Addison-Wesley 1961.Google Scholar
  13. [T1]
    Tarski, A. "Equational Logic and Equational Theories of Algebras". Contributions to Mathematical Logic (ed) Schutte, K. North Holland, 1968.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Norman Y. Foo
    • 1
  1. 1.Basser Department of Computer ScienceUniversity of SydneyAustralia

Personalised recommendations