The Polymorphic Imperative: a Generic Approach to In-place Update

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Jay, Barry en_US
dc.contributor.author Nguyen, Quy Tuan en_US
dc.contributor.author Lu, Hai Yan (Helen) en_US
dc.contributor.editor en_US
dc.date.accessioned 2010-05-28T09:56:21Z
dc.date.available 2010-05-28T09:56:21Z
dc.date.issued 2004 en_US
dc.identifier 2006007871 en_US
dc.identifier.citation Jay Barry, Lu Hai Yan, and Nguyen Quy Tuan 2004, 'The Polymorphic Imperative: a Generic Approach to In-place Update', Elsevier, vol. 91, pp. 195-211. en_US
dc.identifier.issn 1571-0661 en_US
dc.identifier.other C1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/10433
dc.description.abstract The constructor calculus supports generic operations defined over arbitrary data types including abstract data types. This paper extends the basic constructor calculus to handle constructed locations. The resulting calculus is able to define a generic assignment operation that performs in-place whenever appropriate and allocates fresh memory otherwise. This approach may eliminate many of the space overheads associated with higher-order polymorphic languages. In combination with existing generic programming techniques it can express some very powerful algorithms such as the visitor pattern. en_US
dc.language en_US
dc.publisher Elsevier en_US
dc.title The Polymorphic Imperative: a Generic Approach to In-place Update en_US
dc.parent Electronic Notes in Theoretical Computer Science - Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004 en_US
dc.journal.volume 91 en_US
dc.journal.number en_US
dc.publocation Amsterdam, The Netherlands en_US
dc.identifier.startpage 195 en_US
dc.identifier.endpage 211 en_US
dc.cauo.name FEIT.School of Software en_US
dc.conference Verified OK en_US
dc.for 080200 en_US
dc.personcode 930303 en_US
dc.personcode 000516 en_US
dc.personcode 044301 en_US
dc.percentage 100 en_US
dc.classification.name Computation Theory and Mathematics en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords generic functions, constructor calculus, imperative programming, in-place update, location constructors en_US
dc.staffid en_US
dc.staffid 044301 en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record