Λειτουργική σημασιολογία: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ διόρθωση συνδέσμου προς τον Τζον Μακάρθι |
μ σύνδεσμοι |
||
Γραμμή 8:
which performs the set of actions which constitute the elaboration of that program." ([[#algol68|Algol68]], Section 2)</ref>
Η πρώτη χρήση του όρου "λειτουργική σημασιολογία" αποδίδεται
Ακολουθεί ένα απόσπασμα από την ιστορική δημοσίευση του Scott πάνω στην τυπική σημασιολογία, στην οποία αναφέρει τη "λειτουργική" πλευρά της σημασιολογίας.
|