Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού

“…Στη διπλωματική του [113], ο Γρίβας περιέγραψε την υλοποίηση μιας αποθήκης για τον νοηματικό μετασχηματισμό υψηλότερης τάξης. Σε σχετική δημοσίευση του 2011, οι Φουρτούνης, Ölveczky και Παπασπύρου έδωσαν έναν φορμαλισμό για μια απλοποιημένη παράλληλη έκδοση της αποθήκης που περιγράψαμε, χρησιμοποιώντας το εργαλείο Maude που είναι βασισμένο στη λογική αναγραφής (rewriting logic) [94]. Οι παράλληλες υλοποιήσεις όμως δε θα μας απασχολήσουν άλλο σε αυτήν τη διατριβή, που θα περιοριστεί σε σειριακές υλοποιήσεις.…”

“…Σε αυτές τις συνθήκες, ο προγραμματισμός ροής δεδομένων και το μοντέλο εκτέλεσής του είναι πάλι δημοφιλή, λόγω του τρόπου με τον οποίο εκμεταλλεύονται τον υπάρχοντα παραλληλισμό ενός προγράμματος [34,73,124,156,163,175,185]. Για παράδειγμα, πρόσφατα, οι Ι-δομές (που μοιράζονται ιδέες με την αποθήκη του Κεφαλαίου 4 και με τις παράλληλες νοηματικές αποθήκες [94]), γενικεύθηκαν από τους Kuper και Newton για την κατασκευή ντετερμινιστικών παράλληλων προγραμμάτων [150], ενώ οι Doeraene και Van Roy παρουσίασαν έναν δηλωτικό πυρήνα ροής δεδομένων για τη γλώσσα Scala, ο οποίος υποστηρίζει οκνηρή αποτίμηση και ταυτοχρονισμό με πέρασμα μηνυμάτων [79].…”

“…Η υλοποίηση μιας αποδοτικής παράλληλης αποθήκης σε υλικό φαίνεται να είναι βασική απαίτηση για μια γρήγορη υλοποίηση σε υλικό ροής δεδομένων. Σε σχετική εργασία με αυτή τη διατριβή, οι Φουρτούνης, Ölveczky και Παπασπύρου, έδωσαν ταυτόχρονη σημασιολογία για μια παράλληλη αποθήκη, καθώς και μια παράλληλη εικονική μηχανή σε λογισμικό [94].…”