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

Τσιβρά, Αικατερίνη; Tsivra, Aikaterini

dc.contributor.author	Τσιβρά, Αικατερίνη	el
dc.contributor.author	Tsivra, Aikaterini	en
dc.date.accessioned	2024-02-20T09:32:16Z
dc.date.available	2024-02-20T09:32:16Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/58935
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.26631
dc.rights	Default License
dc.subject	Νευροσυμβολική σύνθεση	el
dc.subject	Σύνθεση προγραμμάτων	el
dc.subject	Γλώσσες προγραμματισμού	el
dc.subject	Τεχνητή νοημοσύνη	el
dc.subject	Νευρωνικά δίκτυα	el
dc.subject	Neurosymbolic synthesis	el
dc.subject	Program synthesis	el
dc.subject	Programming language	el
dc.subject	Aartificial intelligence	el
dc.subject	Neural networks	el
dc.title	Το πρόβλημα της σύνθεσης προγραμμάτων	el
dc.contributor.department	Softlab	el
heal.type	bachelorThesis
heal.classification	Μεταγλωττιστές	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2023-07-01
heal.abstract	Η αυτόματη παραγωγή κώδικα αποτελούσε διαχρονικό όνειρο των ερευνητών στον χώρο της πληροφορικής. Αυτές οι προσπάθειες συγκεντρώνονται στο ερευνητικό αντικείμενο της σύνθεσης προγραμμάτων (program synthesis). Η αρχική προσέγγιση της σύνθεσης προγραμμάτων, παράλληλη με την εξέλιξη της επιστήμης της πληροφορικής, ήταν φορμαλιστική και στηριγμένη στην λογική. Αυτή η μέθοδος ήταν δύσχρηστη και δύσκολα επεκτεινόταν σε άλλα προβλήματα. Τα ισχυρά νευρωνικά δίκτυα επέτρεψαν στους ερευνητές να περάσουν από αυστηρούς φορμαλισμούς σε πιο αφηρημένες προδιαγραφές το οποίο μετέτρεψε τη σύνθεση προγραμμάτων σε πιο ισχυρό εργαλείο αλλά με σημαντικά δυσκολότερη ερμηνεία. Οι λύσεις που σχεδιάζονται κι ερευνώνται σήμερα συνδυάζουν τα νευρωνικά δίκτυα με τυπικές μεθόδους. Αυτή η προσέγγιση έχει ήδη δώσει καλύτερα αποτελέσματα τα οποία μάλιστα ερμηνεύονται ευκολότερα από τον ανθρώπινο παράγοντα.	el
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.advisorName	Βυτινιώτης, Δημήτριος	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Στάμου, Γεώργιος	el
heal.committeeMemberName	Γκούμας, Γεώργιος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	66 σ.	el
heal.fullTextAvailability	false