Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17260
Τίτλος: | Ασφάλεια σε Συστήματα Τύπων με Τύπους Τομής και Άρνησης |
Συγγραφείς: | Αρώνης, Παναγιώτης Παπασπύρου Νικόλαος |
Λέξεις κλειδιά: | Γλώσσες προγραμματισμού, Συστήματα τύπων, Ασφάλεια τύπων, Τύποι τομής, Τύποι άρνησης, Υποτύποι. Programming languages, Type systems, Type safety, Intersection types, Negation types, Subtyping. |
Ημερομηνία έκδοσης: | 7-Μαΐ-2019 |
Περίληψη: | Ο προγραμματισμός ηλεκτρονικών υπολογιστών είναι αρκετά πιο δημοφιλής σήμερα, με ολοένα και περισσότερα άτομα να ασχολούνται με αυτόν. Γλώσσες προγραμματισμού υψηλού επιπέδου με πανίσχυρες γενικευμένες έννοιες κάνουν εύκολο για τον οποιονδήποτε να γράψει προγράμματα. Από την άλλη μεριά, το να δείξει κανείς ότι ένα πρόγραμμα έχει την επιθυμητή συμπεριφορά είναι μία αρκετά δυσκολότερη διαδικασία. Ο έλεγχος τύπων είναι η πιο βασική προσέγγιση για να το επιτύ- χουμε. Σε αυτήν τη διπλωματική, παρουσιάζουμε ένα στατικό σύστημα τύπων, που περιέχει τύπους τομής και άρνησης και μία σχέση υποτύπων, ώστε να αναθέσουμε αρκετά περιγραφικούς τύπους σε προγράμματα μία απλής συναρτησιακής γλώσσας με ταίριασμα προτύπων. Δείχνουμε ότι το σύστημα τύπων μας αναθέτει τύπους μόνο σε προγράμματα με καθορισμένη σημασιολογία, δηλαδή, ότι έχει την ιδιότητα της ασφάλειας τύπων. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17260 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
thesis.pdf | 353.84 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.