Preview
Unable to display preview. Download preview PDF.
References
F.L. Bauer, H. Wössner: Algorithmic language and program development. New York: Springer 1982
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
F.L. Bauer et al.: Formal program construction by transformations—Computer-aided, Intuition-guided Programming. IEEE Trans. Software Eng. 15, 165–180 (1989)
E.W. Dijkstra: A discipline of programming. Englewood Cliffs, N.J.: Prentice-Hall 1976
Z. Manna: Mathematical theory of computation. New York: McGraw-Hill 1974
L.G. Monk: Inference rules using local contexts. J. Automated Reasoning 4, 445–462 (1988)
R. Paige, S. Koenig: Finite differencing of computable expressions. ACM TOPLAS 4, 402–454 (1982)
H. Partsch: Transformational program development in a particular problem domain. Sci. Comput. Programming 7, 99–241 (1986)
P. Pepper: Modal logics for applicative programs. Habilitation Thesis, Technische Universität München, 1985
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
M. Sharir: Some observations concerning formal differentiation of set theoretic expressions. ACM TOPLAS 4, 196–226 (1982)
Author information
Authors and Affiliations
Editor information
Rights 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