An example of hierarchical program specification

  • Bálint Dömölki
Algebraic Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


Correctness Proof Primitive Function Operation Symbol Auxiliary Operation List Operation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dijkstra, E.W.: Notes on Structured Programming, in O-J. Dahl, E.W.Dijkstra, C.A.R.Hoare: Structured Programming, Academic Press, 1972, pp. 59–63.Google Scholar
  2. 2.
    Dömölki, B., Sánta-Tóth, E.: Formal description of software components by Structured Abstract Models. Computational Linquistics and Computer Languages NoXI, pp.31–71, Budapest, 1976.Google Scholar
  3. 3.
    Dömölki, B.: On the formal definition of assembly languages. Conference on Mathematical Foundations of Computer Science, High Tatras, Czehoslovakia, Sept. 1973, pp. 27–39.Google Scholar
  4. 4.
    Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. Proc. of 5th IJCAI, Cambridge, Mass. 1977, pp. 1045–1058.Google Scholar
  5. 5.
    Goguen, J.A., Burstall, R.M.: Some fundamental properties of algebraic theories: a tool for semantics of computation. DAI Research Report No 53. University of Edinburgh, 1978.Google Scholar
  6. 6.
    Goguen, J.A., Burstall, R.M.: Semantics of CLEAR. Working Note — Draft Version, January 1979.Google Scholar
  7. 7.
    Wright, J.B., Thatcher, J.W., Wagner, E.G., Goguen, J.A.: Rational algebraic theories and fixed point solutions. Proc of IEEE 17th Symposium on Foundations of Computer Science, Houston, 1976, pp. 147–158.Google Scholar
  8. 8.
    Liskov, B.H., Zilles, S.: An introduction to formal specifications of data abstractions. In Current trends in Programming Methodology Edited. by R.T. Yeh, Prentice Hall, 1977, Vol. 1., Chapter 1, p. 27.Google Scholar
  9. 9.
    Bjorner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language. Springer Lecture Notes in Computer Science, Vol. 61, May 1978.Google Scholar
  10. 10.
    Kovalski, R.A.: Predicate logic as programming language. Information Processing 74, North-Holland, Amsterdam 1974, pp. 569–574.Google Scholar
  11. 11.
    Warren, D.H.D., Pereira, L.M.: PROLOG — the language and its implementation compared with LISP. SIGPLAN Notices Vol. 12, No 8, Aug. 1977.Google Scholar
  12. 12.
    Balogh, K., Sánta-Tóth, E., Szeredi, P.: Logic-based program design. To appear in the Proceedings of the First Congress of the John von Neumann Computer Society, Dec. 1979, Szeged, Hungary. (in Hungarian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Bálint Dömölki
    • 1
  1. 1.Institute for Coordination of Computer Techniques (SzKI)BudapestHungary

Personalised recommendations