© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Value Types in Eiffel
S. Kent and J. Howse
In Proceedings of TOOLS Europe'96 (TOOLS 19), pages 182-196. Prentice Hall, January 1996.Abstract
Identifies a number of problems with Eiffel's expanded types in modelling value types, and proposes a backward compatible syntactic extension, and a modified semantics. The latter is also shown to be (effectively) backward compatible, in the sense that existing programs would run unaffected if compilers implemented the new semantics. The benefits of the approach are discussed, including an elegant approach to rebuilding data structure libraries.
Download publication 230 kbytes (PDF)Bibtex Record
@inproceedings{798, author = {S. Kent and J. Howse}, title = {{Value Types in Eiffel}}, month = {January}, year = {1996}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1996/798}, booktitle = {Proceedings of TOOLS Europe'96 (TOOLS 19)}, publisher = {Prentice Hall}, }