Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15487
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Μανούκ - Βαρτάν Μανουκιάν | |
dc.date.accessioned | 2018-07-23T15:58:25Z | - |
dc.date.available | 2018-07-23T15:58:25Z | - |
dc.date.issued | 2009-9-16 | |
dc.date.submitted | 2009-12-16 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15487 | - |
dc.description.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. | |
dc.language | English | |
dc.subject | opaque types | |
dc.subject | erlang | |
dc.subject | static analysis | |
dc.subject | opaqueness violations | |
dc.title | Detection Of Opaque Violations In Erlang Using Static Analysis | |
dc.type | Diploma Thesis | |
dc.description.pages | 69 | |
dc.contributor.supervisor | Σαγώνας Κωστής | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
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.