Αποτελέσματα αναζήτησης

...σών προγραμματισμού]] είναι η [[αξιωματική σημασιολογία]] και η [[δηλωτική σημασιολογία]]. Η λειτουργική σημασιολογία μιας [[γλώσσα προγραμματισμού|γλώσσας προγραμματισμού]] περιγράφει πώς ερμηνεύεται ένα έγκυρο πρόγραμμα σαν ακολουθία από υπολογι ...

...δος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται '''θεωρία τυπικών γλωσσών'''. * Η [[σημασιολογία]] (ή [[σημαντική]]) έχει να κάνει με την ερμηνεία των φράσεων της γλώσσας, ...

==Σημασιολογία== ...ως για τη λογική δεύτερης τάξης: κανονική ('''standard semantics''') και η σημασιολογία Henkin ('''Henkin semantics'''). Σε κάθε μια από αυτές, οι ερμηνείες των πο ...

...ρες για ορισμένες εφαρμογές. Σε κάποια περιβάλλοντα, όπως αυτό της γλώσσας προγραμματισμού [[Lisp]], ο όρος λίστα μπορεί να αναφέρεται ειδικά σε συνδεδεμένη λίστα κα **Στις μοντέρνες [[γλώσσα προγραμματισμού|γλώσσες προγραμματισμού]], η ισότητα μεταξύ λιστών ορίζεται φυσιολογικά σε όρους [[Κατασκευαστική ι ...

...πολογιστών]],η '''ασφάλεια τύπων''' είναι η έκταση στην οποία μία [[γλώσσα προγραμματισμού]] αποθαρρύνει ή αποτρέπει τα '''σφάλματα τύπων'''. Ένα σφάλμα τύπων είναι μ ...ιοποίηση είναι εν μέρει βασισμένη στην προσωπική άποψη: μερικοί σχεδιαστές γλωσσών και προγραμματιστές υποστηρίζουν ότι κάθε λειτουργία που δεν οδηγεί σε βίαι ...

...οια των μηχανισμών τυπικών εκφράσεων που παρέχουν πολλές σύγχρονες γλώσσες προγραμματισμού). ...ακτική ανάλυση]] εισόδου και το σχεδιασμό [[Γλώσσα προγραμματισμού|γλωσσών προγραμματισμού]]. ...

...μια πρακτική προσέγγιση που συνυπάρχουν, με στόχο την τυπική περιγραφή των γλωσσών<ref>{{cite journal ...να εφαρμοστούν στην [[Επεξεργασία φυσικής γλώσσας|αυτόματη επεξεργασία των γλωσσών]], κυρίως μέσω της δημιουργίας [[Συντακτική ανάλυση (υπολογιστές)|συντακτι ...

...tp://swtch.com/~rsc/thread/|accessdate=2010-04-15}}</ref> και [[Go (γλώσσα προγραμματισμού)|Go]].<ref name="golang">{{cite web |title=Language Design FAQ: Why build c ...χέση με τις εκδόσεις της CSP που ακολούθησαν, δεν είχε μαθηματικά ορισμένη σημασιολογία,<ref name="hoare">{{cite book|last=Hoare|first=C. A. R. |title=Communicatin ...

...γική για υπολογίσιμες συναρτήσεις) και εξελίχθηκε σε γενικής χρήσης γλώσσα προγραμματισμού για να καλύψει τις ανάγκες αυτής της εφαρμογής.<ref name="M82">{{cite journ ...οσδιορισμούς τύπων από τον προγραμματιστή. Είναι μία από τις λίγες γλώσσες προγραμματισμού με αυστηρή απόδειξη ότι όλα τα προγράμματα που περνάνε τον [[Σύστημα τύπων# ...

...ρώτης τάξης'', οι οποίες είναι σχήματα κώδικα που επιτρέπουν σε μια γλώσσα προγραμματισμού να αποθηκεύει την κατάσταση του υπολογισμού σε κάποιο σημείο και να μπορεί ...και απλή δέσμευση μνήμης και αυτόματη αποδέσμευση. Υπάρχουν επίσης γλώσσες προγραμματισμού που χρησιμοποιούν [[σωρός (πληροφορική)|σωρό]] για αυτόν το σκοπό, ο οποίος ...

...χρονολόγηση των σχέσεων μεταξύ γλωσσών, ιδίως το χρονικό βάθος τής σχέσης γλωσσών που ανήκουν στην ίδια [[γλωσσική οικογένεια]], με βάση τη στατιστική μελέτη ...ότητα προσδιορισμού ενός μέτρου ή μαθηματικού τύπου για τη χρονολόγηση των γλωσσών, στηριζόμενος σε ορισμένες παραδοχές ως προς τη διατήρηση ή την απώλεια στο ...

...των συμβόλων είναι επιτρεπτές εκφράσεις στη λογική πρώτου βαθμού, ενώ η [[σημασιολογία]] καθορίζει τις έννοιες πίσω από αυτές τις εκφράσεις. == Σημασιολογία == ...

...[[Τυπική σημασιολογία των γλωσσών προγραμματισμού|σημασιολογία των γλωσσών προγραμματισμού]] και [[Τυπική επαλήθευση|επαλήθευση]], [[θεωρία αυτομάτων]], καθώς και τη ...εσματικών [[αλγορίθμων]]. Κάποιες τυπικές μέθοδοι σχεδιασμού και [[γλώσσες προγραμματισμού]] τονίζουν τις δομές δεδομένων, παρά τους αλγόριθμους, ως βασικό παράγοντα ...

...ιδέα μιας φιλοσοφικής γλώσσας που να εξουδετερώνει την [[ασυνεννοησία των γλωσσών]], λόγω της ανακάλυψης των Κινεζικών χαρακτήρων και των Αιγυπτιακών ιερογλυ ...το γλωσσολογικό πεδίο της [[Σύνταξη (γλωσσολογία)|σύνταξης]]. Η φιλοσοφική σημασιολογία τείνει να εστιάζεται στην αρχή της συνθετικότητας (principle of composition ...

...κε στους κλάδους της [[φιλοσοφία]]ς, των [[μαθηματικά|μαθηματικών]], της [[σημασιολογία]]ς και της [[πληροφορική]]ς. Εξετάζει γενικές [[λογική μορφή|μορφές]] οι οπ ...επιχειρήματος. Είναι απαραίτητη, διότι ενδεικτικές προτάσεις συνηθισμένων γλωσσών (ordinary languages) εμφανίζουν μια σημαντική ποικιλία στη μορφή και πολυπλ ...

...καλοσχηματισμένους τύπους της [[γλώσσας]]. Επιπλέον, μπορεί να δοθεί μία [[σημασιολογία]] η οποία ορίζει την αλήθεια και τις [[αποτιμήσεις]] (ή [[ερμηνείες]]) υπολογισμού της τυπικών γλωσσών συχνά απαιτούν ότι οι συμβολοσειρές κειμένου ...