1. Αρχική σελίδα
  2. Αναζήτηση

Το πρόβλημα της σύνθεσης προγραμμάτων

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Μετσόβιο Πολυτεχνείο   

Αποθετήριο :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Το πρόβλημα της σύνθεσης προγραμμάτων (EL)
Τσιβρά, Αικατερίνη (EL)
Tsivra, Aikaterini (EN)
ntua (EL)
Γκούμας, Γεώργιος (EL)
Βυτινιώτης, Δημήτριος (EL)
Στάμου, Γεώργιος (EL)
Παπασπύρου, Νικόλαος (EL)
bachelorThesis
2023-07-01
2024-02-20T09:32:16Z
Η αυτόματη παραγωγή κώδικα αποτελούσε διαχρονικό όνειρο των ερευνητών στον χώρο της πληροφορικής. Αυτές οι προσπάθειες συγκεντρώνονται στο ερευνητικό αντικείμενο της σύνθεσης προγραμμάτων (program synthesis). Η αρχική προσέγγιση της σύνθεσης προγραμμάτων, παράλληλη με την εξέλιξη της επιστήμης της πληροφορικής, ήταν φορμαλιστική και στηριγμένη στην λογική. Αυτή η μέθοδος ήταν δύσχρηστη και δύσκολα επεκτεινόταν σε άλλα προβλήματα. Τα ισχυρά νευρωνικά δίκτυα επέτρεψαν στους ερευνητές να περάσουν από αυστηρούς φορμαλισμούς σε πιο αφηρημένες προδιαγραφές το οποίο μετέτρεψε τη σύνθεση προγραμμάτων σε πιο ισχυρό εργαλείο αλλά με σημαντικά δυσκολότερη ερμηνεία. Οι λύσεις που σχεδιάζονται κι ερευνώνται σήμερα συνδυάζουν τα νευρωνικά δίκτυα με τυπικές μεθόδους. Αυτή η προσέγγιση έχει ήδη δώσει καλύτερα αποτελέσματα τα οποία μάλιστα ερμηνεύονται ευκολότερα από τον ανθρώπινο παράγοντα. (EL)
Νευρωνικά δίκτυα (EL)
Programming language (EL)
Aartificial intelligence (EL)
Neural networks (EL)
Τεχνητή νοημοσύνη (EL)
Neurosymbolic synthesis (EL)
Σύνθεση προγραμμάτων (EL)
Νευροσυμβολική σύνθεση (EL)
Program synthesis (EL)
Γλώσσες προγραμματισμού (EL)
Ελληνική γλώσσα
Softlab (EL)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (EL)
Default License
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διπλωματικές Εργασίες



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.