This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Lex Augusteijn. Functional Programming, Program Transformations and Compiler Construction. Eindhoven, 1993. to appear.
Berry Schoenmakers. Inorder traversal of a binary heap and its inversion in optimal time and space. In Second International Conference on the Mathematics of Program Construction, Oxford. 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Augusteijn, L. (1993). An alternative derivation of a binary heap construction function. 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_23
Download citation
DOI: https://doi.org/10.1007/3-540-56625-2_23
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