Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15487
Title: | Detection Of Opaque Violations In Erlang Using Static Analysis |
Authors: | Μανούκ - Βαρτάν Μανουκιάν Σαγώνας Κωστής |
Keywords: | opaque types erlang static analysis opaqueness violations |
Issue Date: | 16-Sep-2009 |
Abstract: | Erlang is a general-purpose programming language designed at the Ericsson Computer Science Laboratory. Erlang has extensive dynamic libraries in which a plethora of abstract data types are defined. However, programming in Erlang suffers from the lack of opaque types. Opaque types are especially necessary in a production environment since they provide solid contractual guarantees. Due to heavy pattern matching operations though, violations of the structure of abstract data types are a common occurrence. To address this problem we used static type checking analysis to reliably detect and warn about opaque type violations as well as a myriad of other type related errors. We believe that we have in place a system that will prove helpful in the development of new applications as well as in the maintenance and easier extension of existing code. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15487 |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2009-0224.pdf | 316.71 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.