The polymorphic imperative: A generic approach to in-place update

DSpace/Manakin Repository

Search OPUS

Advanced Search


My Account

Show simple item record Jay, CB Lu, HY Nguyen, QT 2010-05-28T09:56:21Z 2004-02-16
dc.identifier.citation Electronic Notes in Theoretical Computer Science, 2004, 91 pp. 195 - 211
dc.identifier.issn 1571-0661
dc.identifier.other C1UNSUBMIT en_US
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. © 2004 Published by Elsevier B.V.
dc.language eng
dc.relation.isbasedon 10.1016/j.entcs.2003.12.013
dc.title The polymorphic imperative: A generic approach to in-place update
dc.type Journal Article
dc.parent Electronic Notes in Theoretical Computer Science
dc.journal.volume 91
dc.journal.number en_US
dc.publocation Amsterdam, The Netherlands en_US
dc.identifier.startpage 195 en_US
dc.identifier.endpage 211 en_US FEIT.School of Software en_US
dc.conference Verified OK en_US
dc.for 0802 Computation Theory and Mathematics
dc.personcode 930303
dc.personcode 000516
dc.personcode 044301
dc.percentage 100 en_US Computation Theory and Mathematics en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US en_US
dc.location.activity en_US
dc.description.keywords generic functions, constructor calculus, imperative programming, in-place update, location constructors en_US
dc.description.keywords Vapor-Pressure Deficit
dc.description.keywords Abscisic-Acid
dc.description.keywords Gas-Exchange
dc.description.keywords Carbon Assimilation
dc.description.keywords Northern Australia
dc.description.keywords Tropical Savanna
dc.description.keywords Xylem Embolism
dc.description.keywords Boundary-Layer
dc.description.keywords Soil
dc.description.keywords Co2
dc.description.keywords Constructor calculus
dc.description.keywords Generic functions
dc.description.keywords Imperative programming
dc.description.keywords In-place update
dc.description.keywords Location constructors
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access 2015-04-15 12:17:09.805752+10
utslib.collection.history Closed (ID: 3)

Files in this item

This item appears in the following Collection(s)

Show simple item record