Μερική Αποτίμηση Και Εφαρμογή Στην Κατασκευή Μεταγλωττιστών

Abstract

Η μερική αποτίμηση προσφέρει έναν κοινό τρόπο αντιμετώπισης και επίλυσηςσε ένα ευρύ φάσμα προβλημάτων, που περιλαμβάνει την βελτιστοποίηση,μεταγλώττιση και διερμήνευση των προγραμμάτων και την αυτόματη παραγωγήγεννητόρων προγραμμάτων. Είναι μια τεχνική βελτιστοποίησης προγραμμάτων,που μπορεί να χαρακτηριστεί και ως εξειδίκευση και δίνει έμφαση στηνπλήρως αυτοματοποιημένη παραγωγή αποτελεσμάτων. Μέσω αυτής της τεχνικήςμπορούμε να απαλείφουμε περιττούς υπολογισμούς από τα προγράμματά μαςκαι να επιτυγχάνουμε μείωση της πολυπλοκότητας.Ιδιαίτερη έμφαση στην έρευνα της μερικής αποτίμησης έχει δοθεί στηναυτόματη παραγωγή μεταγλωττιστών. Η τεχνική αυτή προβάλλεται ωςεναλλακτική της κλασσικής αντιμετώπισης για την κατασκευή μεταγλωττιστώνπου ξεχωρίζει σε μεγάλο βαθμό την υλοποίηση του μεταγλωττιστή από τηνσημασιολογία της γλώσσας που υλοποιεί. Έχοντας στη διάθεσή μας μόνο ένανδιερμηνέα που τον χρησιμοποιούμε προκειμένου να ορίσουμε μια γλώσσαπρογραμματισμού, μέσω της μερικής αποτίμησης μπορούμε να τονμετατρέψουμε σε μεταγλωττιστή ανάλογων επιδόσεων με αυτούς που κατασκευάζονται κλασσικά.Δεν είναι όμως μόνο η τεχνολογία των μεταγλωττιστών που έχει οφέλη απότην χρήση των τεχνικών της μερικής αποτίμησης. Πολλοί τομείς τηςεπιστήμης των υπολογιστών, ειδικότερα όσοι ασχολούνται με θέματα μεγάληςυπολογιστής πολυπλοκότητας ευνοούνται από την εξειδίκευση γενικάορισμένων αλγορίθμων σε σχέση με τα συγκεκριμένα χαρακτηριστικά καιδεδομένα του εκάστοτε προβλήματος. Σαν παράδειγμα αναφέρουμε το λογικόπρογραμματισμό, το μεταπρογραμματισμό, τα έμπειρα συστήματα και ταεφαρμοσμένα μαθηματικά.