Skip to main content
SpringerLink
Log in

Applicative assertions

  • Contributed Lectures
  • Conference paper
  • First Online:
Book cover Mathematics of Program Construction (MPC 1989)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.L. Bauer, H. Wössner: Algorithmic language and program development. New York: Springer 1982

    Google Scholar 

  2. F.L. Bauer et al.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183. New York: Springer 1985

    Google Scholar 

  3. F.L. Bauer et al.: Formal program construction by transformations—Computer-aided, Intuition-guided Programming. IEEE Trans. Software Eng. 15, 165–180 (1989)

    MathSciNet  Google Scholar 

  4. E.W. Dijkstra: A discipline of programming. Englewood Cliffs, N.J.: Prentice-Hall 1976

    Google Scholar 

  5. Z. Manna: Mathematical theory of computation. New York: McGraw-Hill 1974

    Google Scholar 

  6. L.G. Monk: Inference rules using local contexts. J. Automated Reasoning 4, 445–462 (1988)

    Google Scholar 

  7. R. Paige, S. Koenig: Finite differencing of computable expressions. ACM TOPLAS 4, 402–454 (1982)

    Article  Google Scholar 

  8. H. Partsch: Transformational program development in a particular problem domain. Sci. Comput. Programming 7, 99–241 (1986)

    Google Scholar 

  9. P. Pepper: Modal logics for applicative programs. Habilitation Thesis, Technische Universität München, 1985

    Google Scholar 

  10. P. Pepper: Application of modal logics to the reasoning about applicative programs. In L.G.L.T. Meertens (ed.): Program specification and transformation. Amsterdam: North-Holland 1987, 429–449

    Google Scholar 

  11. M. Sharir: Some observations concerning formal differentiation of set theoretic expressions. ACM TOPLAS 4, 196–226 (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2, Fed. Rep. Germany

    Bernhard Möller

Authors
  1. Bernhard Möller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. L. A. van de Snepscheut

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Möller, B. (1989). Applicative assertions. In: van de Snepscheut, J.L.A. (eds) Mathematics of Program Construction. MPC 1989. Lecture Notes in Computer Science, vol 375. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51305-1_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-51305-1_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51305-6

  • Online ISBN: 978-3-540-46191-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation