Λειτουργική και προσδιοριστική σημασιολογία

Λειτουργική σημασιολογία (Operational semantics)

Αλγοριθμικός ορισμός ενός διερμηνευτή για τη συγκεκριμένη γλώσσα.

Προσδιοριστική σημασιολογία (Denotational semantics)

Ορισμός μιας συνάρτησης που εκφράζει το αποτέλεσμα εκτέλεσης οποιουδήποτε προγράμματος στη συγκεκριμένη γλώσσα.

Creative Commons License  Τελευταία αλλαγή: Τρίτη, 10 Δεκεμβρίου 1996 0:20 πμ
 Εκτός αν αναφέρεται κάτι διαφορετικό, όλο το πρωτότυπο υλικό της σελίδας αυτής του οποίου δημιουργός είναι ο Διομήδης Σπινέλλης παρέχεται σύμφωνα με τους όρους της άδειας «Creative Commons Attribution-Share Alike 3.0 Greece License».