Skip to main content
SpringerLink
Log in
Book cover

Abstract Software Specifications pp 333–353Cite as

An example of hierarchical program specification

  • Algebraic Semantics
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 86))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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. Goguen, J.A., Burstall, R.M.: Semantics of CLEAR. Working Note — Draft Version, January 1979.

    Google Scholar 

  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. 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. 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. Kovalski, R.A.: Predicate logic as programming language. Information Processing 74, North-Holland, Amsterdam 1974, pp. 569–574.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Institute for Coordination of Computer Techniques (SzKI), H-1368, Budapest, Hungary

    Bálint Dömölki

Authors
  1. Bálint Dömölki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjøorner

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dömölki, B. (1980). An example of hierarchical program specification. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-10007-5_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10007-2

  • Online ISBN: 978-3-540-38136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation