Λογότυπο
Υνιονπαίδεια
Επικοινωνία
Αποκτήστε το στο Google Play
Νέος! Κατεβάστε Υνιονπαίδεια στο Android ™ σας!
Ελεύθερος
Ταχύτερη από τον browser!
 

Δηλωτική σημασιολογία

Δείκτης Δηλωτική σημασιολογία

Στην επιστήμη των υπολογιστών, η δηλωτική σημασιολογία (denotational semantics) είναι μια προσέγγιση για την τυποποίηση της σημασίας των γλωσσών προγραμματισμού μέσω της κατασκευής μαθηματικών αντικειμένων (πουονομάζονται δηλώσεις, denotations), τα οποία περιγράφουν τις σημασίες των εκφράσεων των γλωσσών.

6 συγγένειες: Dana Scott, Haskell, Σύνταξη (γλώσσα προγραμματισμού), Έντσγκερ Ντάικστρα, Θεωρία κατηγοριών, Διερμηνέας (πληροφορική).

Dana Scott

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΝτέινα Σκοτ.

Νέος!!: Δηλωτική σημασιολογία και Dana Scott · Δείτε περισσότερα »

Haskell

Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους.

Νέος!!: Δηλωτική σημασιολογία και Haskell · Δείτε περισσότερα »

Σύνταξη (γλώσσα προγραμματισμού)

Ο χρωματισμός της σύνταξης (syntax highlighting) χρησιμοποιείται συχνά για να βοηθά τον προγραμματιστή να αναγνωρίζει μέρη τουπηγαίουκώδικα. Η γλώσσα πουφαίνεται παραπάνω είναι η Python. Στην επιστήμη των υπολογιστών, η σύνταξη μιας γλώσσας προγραμματισμού είναι το σύνολο από κανόνες πουορίζουν τους συνδυασμούς συμβόλων πουθεωρούνται σωστά δομημένα προγράμματα στη γλώσσα αυτή.

Νέος!!: Δηλωτική σημασιολογία και Σύνταξη (γλώσσα προγραμματισμού) · Δείτε περισσότερα »

Έντσγκερ Ντάικστρα

Ο Έντσχερ Ουίμπε Ντάικστρα (Edsger Wybe Dijkstra, 11 Μαΐου1930 - 6 Αυγούστου2002) ήταν Ολλανδός επιστήμονας της πληροφορικής, με σημαντική συνεισφορά στους παρακάτω τομείς.

Νέος!!: Δηλωτική σημασιολογία και Έντσγκερ Ντάικστρα · Δείτε περισσότερα »

Θεωρία κατηγοριών

Η Θεωρία Κατηγοριών είναι το πεδίο εκείνο των μαθηματικών πουεξετάζει τις γενικές ιδιότητες και τα χαρακτηριστικά των διαφόρων μαθηματικών δομών μέσα από την μελέτη σχέσεων μεταξύ αντικειμένων αυτών των δομών.

Νέος!!: Δηλωτική σημασιολογία και Θεωρία κατηγοριών · Δείτε περισσότερα »

Διερμηνέας (πληροφορική)

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Διερμηνέας (υπολογιστές).

Νέος!!: Δηλωτική σημασιολογία και Διερμηνέας (πληροφορική) · Δείτε περισσότερα »

ΕξερχόμενοςΕισερχόμενος
Γεια σου! Είμαστε στο Facebook τώρα! »