Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23276
Title: | A type system for a higher-order language |
Authors: | Zammit, Melanie Francalanza, Adrian |
Keywords: | Object-oriented methods (Computer science) Real-time data processing Computer algorithms |
Issue Date: | 2012 |
Publisher: | University of Malta. Faculty of Information and Communication Technology |
Citation: | Zammit, M., & Francalanza, A. (2012). A type system for a higher-order language. University of Malta, 1-6. |
Abstract: | We 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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23276 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
wict-2014-gabriel.pdf | 98.77 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.