Abstract
This note points out that the abstraction relations that we use when designing representation changers in Ruby are exactly the difunctional relations. A simple characterisation of when the composition of two abstractions is an abstraction is also presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Graham Hutton and Ed Voermans, Making functionality more general, in this volume.
Graham Hutton and Ed Voermans, A calculational theory of pers as types, Technical report, University of Glasgow, November 1991.
A. Jaoua, A. Mili, N. Boudriga and J. L. Durieux, Regularity of relations: A measure of uniformity, Theoretical Computer Science 79, 1991. pp. 323–339.
Geraint Jones, Designing circuits by calculation, MSc Course Notes, Programming Research Group technical report PRG-TR-10-90, April 1990.
Geraint Jones and Mary Sheeran, Relations and refinement in circuit design, in [8]. pp. 133–152.
Geraint Jones and Mary Sheeran, Circuit design in Ruby, in [9]. pp. 13–70.
Geraint Jones and Mary Sheeran, Designing arithmetic circuits by refinement in Ruby, in preparation.
Carroll Morgan and Jim Woodcock (eds.), Proc. BCS FACS 3rd Refinement Workshop, Jan. 1990, Springer Workshops in Computing, Springer Verlag, London, 1991.
Jørgen Staunstrup (ed.), Formal methods for VLSI design, North-Holland, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
Sheeran, M. (1992). A note on abstraction in Ruby. In: Heldal, R., Holst, C.K., Wadler, P. (eds) Functional Programming, Glasgow 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3196-0_27
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3196-0_27
Publisher Name: Springer, London
Print ISBN: 978-3-540-19760-7
Online ISBN: 978-1-4471-3196-0
eBook Packages: Springer Book Archive