Advertisement

Applicative assertions

  • Bernhard Möller
Contributed Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 375)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bauer, Wössner 82]
    F.L. Bauer, H. Wössner: Algorithmic language and program development. New York: Springer 1982Google Scholar
  2. [Bauer et al. 85]
    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 1985Google Scholar
  3. [Bauer et al. 89]
    F.L. Bauer et al.: Formal program construction by transformations—Computer-aided, Intuition-guided Programming. IEEE Trans. Software Eng. 15, 165–180 (1989)MathSciNetGoogle Scholar
  4. [Dikstra 76]
    E.W. Dijkstra: A discipline of programming. Englewood Cliffs, N.J.: Prentice-Hall 1976Google Scholar
  5. [Manna 74]
    Z. Manna: Mathematical theory of computation. New York: McGraw-Hill 1974Google Scholar
  6. [Monk 88]
    L.G. Monk: Inference rules using local contexts. J. Automated Reasoning 4, 445–462 (1988)Google Scholar
  7. [Paige, Koenig 82]
    R. Paige, S. Koenig: Finite differencing of computable expressions. ACM TOPLAS 4, 402–454 (1982)CrossRefGoogle Scholar
  8. [Partsch 86]
    H. Partsch: Transformational program development in a particular problem domain. Sci. Comput. Programming 7, 99–241 (1986)Google Scholar
  9. [Pepper 85]
    P. Pepper: Modal logics for applicative programs. Habilitation Thesis, Technische Universität München, 1985Google Scholar
  10. [Pepper 87]
    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–449Google Scholar
  11. [Sharir 82]
    M. Sharir: Some observations concerning formal differentiation of set theoretic expressions. ACM TOPLAS 4, 196–226 (1982)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Bernhard Möller
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Fed. Rep. Germany

Personalised recommendations