bn:03354331n
Noun Concept
Categories: Σημασιολογία γλωσσών προγραμματισμού, Τυπικές μέθοδοι, Θεωρητική πληροφορική, Λογική για Υπολογιστές
EL
δηλωτική σημασιολογία
EL
Στην επιστήμη των υπολογιστών, η δηλωτική σημασιολογία είναι μια προσέγγιση για την τυποποίηση της σημασίας των γλωσσών προγραμματισμού μέσω της κατασκευής μαθηματικών αντικειμένων, τα οποία περιγράφουν τις σημασίες των εκφράσεων των γλωσσών. Wikipedia
Definitions
Relations
Sources
EL
Στην επιστήμη των υπολογιστών, η δηλωτική σημασιολογία είναι μια προσέγγιση για την τυποποίηση της σημασίας των γλωσσών προγραμματισμού μέσω της κατασκευής μαθηματικών αντικειμένων, τα οποία περιγράφουν τις σημασίες των εκφράσεων των γλωσσών. Wikipedia