Abstract
A convention is proposed for embedding program statements into the program derivation calculus, with the aim of simplifying the stepwise construction of programs.
Chapter PDF
Similar content being viewed by others
References
Bijlsma, A. (1997) Simulating file operations: an exercise in calculational data refinement. Memorandum AB66, Eindhoven University of Technology, 1997. Available from http://www.win.tue.nl/inf/staf/secties/st/pm/lexb/ab66.ps
Bijlsma, A., Matthews, P.A., and Wiltink, J.G. (1989) A sharp proof rule for procedures in wp semantics. Acta Inf. 26, 409–419.
Bijlsma, A. and Scholten, C.S. (1996) Point-free substitution. Sci. Comput. Prog. 27, 205–214.
Dijkstra, E.W. and Feijen, W.H.J. (1984) Een methode van programmeren. Academic Service, The Hague. English translation (1988) A method of programming. Addison-Wesley, Reading (Mass.).
Dijkstra, E.W. and Scholten, C.S. (1990) Predicate calculus and program semantics. Springer-Verlag, New York.
Gries, D. and Schneider, F.B. (1993) A logical approach to discrete math. Springer-Verlag, New York.
Grundy, J. (1996) Transformational hierarchical reasoning. Comput. J. 39, 291–302.
Kaldewaij, A. (1990) Programming: the derivation of algorithms. Prentice-Hall International, London.
Morgan, C.C. (1990) Programming from specifications. Prentice-Hall International, London.
Morgan, C.C. and Gardiner, P.H.B. (1990) Data refinement by calculation. Acta Inf. 27, 481–503.
Morris, J.M. (1989) Laws of data refinement. Acta Inf. 26, 287–308.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
van Gasteren, A.J.M., Bijlsma, A. (1998). An extension of the program derivation format. In: Gries, D., de Roever, WP. (eds) Programming Concepts and Methods PROCOMET ’98. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35358-6_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-35358-6_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6299-0
Online ISBN: 978-0-387-35358-6
eBook Packages: Springer Book Archive