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

Abstract

Η αυτόματη παραγωγή κώδικα αποτελούσε διαχρονικό όνειρο των ερευνητών στον χώρο της πληροφορικής. Αυτές οι προσπάθειες συγκεντρώνονται στο ερευνητικό αντικείμενο της σύνθεσης προγραμμάτων (program synthesis). Η αρχική προσέγγιση της σύνθεσης προγραμμάτων, παράλληλη με την εξέλιξη της επιστήμης της πληροφορικής, ήταν φορμαλιστική και στηριγμένη στην λογική. Αυτή η μέθοδος ήταν δύσχρηστη και δύσκολα επεκτεινόταν σε άλλα προβλήματα. Τα ισχυρά νευρωνικά δίκτυα επέτρεψαν στους ερευνητές να περάσουν από αυστηρούς φορμαλισμούς σε πιο αφηρημένες προδιαγραφές το οποίο μετέτρεψε τη σύνθεση προγραμμάτων σε πιο ισχυρό εργαλείο αλλά με σημαντικά δυσκολότερη ερμηνεία. Οι λύσεις που σχεδιάζονται κι ερευνώνται σήμερα συνδυάζουν τα νευρωνικά δίκτυα με τυπικές μεθόδους. Αυτή η προσέγγιση έχει ήδη δώσει καλύτερα αποτελέσματα τα οποία μάλιστα ερμηνεύονται ευκολότερα από τον ανθρώπινο παράγοντα.