Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15766
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Μιχάλης Πιτίδης | |
dc.date.accessioned | 2018-07-23T16:29:50Z | - |
dc.date.available | 2018-07-23T16:29:50Z | - |
dc.date.issued | 2010-7-21 | |
dc.date.submitted | 2010-12-16 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15766 | - |
dc.description.abstract | Οι αγνές συναρτήσεις, δηλαδή οι συναρτήσεις χωρίς παρενέργειες, παίζουν σημαντικό ρόλο στις συναρτησιακές γλώσσες προγραμματισμού, καθώς βοηθούν στη συγγραφή κατανοητού κώδικα που είναι εύκολο να ελεγχθεί. Σε μια γλώσσα σαν την Erlang, η οποία δεν διαθέτει σύστημα τύπων και επιτρέπει την αδιάκριτη χρήση αγνών και μη αγνών συναρτήσεων, η διαβεβαίωση ότι ορισμένες συναρτήσεις είναι αγνές μπορεί να φανεί χρήσιμη σε συγκεκριμένες περιπτώσεις. Η παρούσα διπλωματική εργασία επικεντρώνεται στην υλοποίηση μιας πλήρως αυτοματοποιημένης στατικής ανάλυσης για τη διαπίστωση της αγνότητας ή μη των συναρτήσεων Erlang. Καταγράφει τις απαραίτητες ιδιότητες που καθιστούν μια συνάρτηση αγνή και περιγράφει τη σχεδίαση της εφαρμογής Purity, ενός εργαλείου που ξεκινάει από ένα σύνολο συναρτήσεων με προκαθορισμένη αγνότητα για να αναλύσει τον κώδικα που του παρέχει ο χρήστης. Με μια κατά βάση απλή και συντηρητική προσέγγιση, είναι δυνατό να αποφανθούμε για την αγνότητα ή μη του σχεδόν 90\% των συναρτήσεων στις εφαρμογές που εξετάζουμε.Σαν πρακτική εφαρμογή, η ανάλυση μας ενσωματώθηκε στο μεταγλωττιστή της Erlang, επιτρέποντας τη χρήση αυθαίρετων αγνών συναρτήσεων σε εκφράσεις φρουρών, κάτι που προηγουμένως δεν ήταν δυνατόν. Η προσπάθεια αυτή δεν ήταν πλήρης, καθώς στόχος της ήταν να δείξει ότι κάτι τέτοιο είναι εφικτό και ενδεχομένως να αποτελέσει κίνητρο για μια ωριμότερη υλοποίηση. Πέρα από επεκτάσεις σαν την προηγούμενη, τα αποτελέσματα της ανάλυσης μας θα μπορούσαν να επιτρέψουν ορισμένους τύπους βελτιστοποιήσεων στον μεταγλωττιστή της Erlang. | |
dc.language | English | |
dc.subject | στατική ανάλυση | |
dc.subject | αγνά συναρτησιακός προγραμματισμός | |
dc.subject | ανάλυση αγνότητας συναρτήσεων | |
dc.subject | παρενέργειες | |
dc.subject | erlang | |
dc.title | Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας Erlang | |
dc.type | Diploma Thesis | |
dc.description.pages | 59 | |
dc.contributor.supervisor | Σαγώνας Κωστής | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2010-0179.pdf | 415.83 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.