1. OAR@UM
  2. External Research Collection
  3. Sciences
  4. Science (General)
  5. Xjenza
  6. Xjenza, 2014, Volume 2, Issue 2
Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/2342
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFrancalanza, Adrian
dc.contributor.authorZammit, Melanie
dc.date.accessioned2015-04-13T05:21:23Z
dc.date.available2015-04-13T05:21:23Z
dc.date.issued2014
dc.identifier.citationFrancalanza, A., & Zammit, M. (2014). Uniqueness typing for a higher-order language. Xjenza, 2(2), 14-20en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/2342
dc.description.abstractWe investigate type-based analysis for a higher-order channel passing language with strong update, whereby messages of a different kind are communicated over the same channel. In order to reason about such programs, our type system employs the concept of uniqueness to be able to assert when it is safe to change the object type a channel. We design a type system based on this concept and prove that our type system is sound, meaning that it only accepts programs that do not produce runtime errors.en_GB
dc.language.isoenen_GB
dc.publisherMalta Chamber of Scientistsen_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectLanguage acquisitionen_GB
dc.titleUniqueness typing for a higher-order languageen_GB
dc.typearticleen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.en_GB
dc.description.reviewedpeer-revieweden_GB
dc.identifier.doi10.7423/XJENZA.2014.2.03
Appears in Collections:Scholarly Works - FacICTCS
Xjenza, 2014, Volume 2, Issue 2
Xjenza, 2014, Volume 2, Issue 2

Files in This Item:
File Description SizeFormat 
Uniqueness Typing For A Higher-Order Language.pdf768.98 kBAdobe PDFView/Open
Show simple item record Statistics


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.