Abstract
Traditional programming is for computations. Many contemporary applications suffer when squeezed into programming paradigm. This presentation investigates desirable properties of another paradigm: programming for behaviours and explores some technical consequences of a possible formalism to describe such programs.
The work reported here was supported in part by the Polish Research Council under grant KBN-211999101.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turski, W.M. (1993). Programming for behaviour. In: Bird, R.S., Morgan, C.C., Woodcock, J.C.P. (eds) Mathematics of Program Construction. MPC 1992. Lecture Notes in Computer Science, vol 669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56625-2_5
Download citation
DOI: https://doi.org/10.1007/3-540-56625-2_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56625-0
Online ISBN: 978-3-540-47613-9
eBook Packages: Springer Book Archive