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