Τυπική σημασιολογία των γλωσσών προγραμματισμού: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
μΧωρίς σύνοψη επεξεργασίας |
||
Γραμμή 16:
* Η ''σημασιολογία δράσεων (action semantics)'', είναι μια προσέγγιση που προσπαθεί να οργανώσει τη δηλωτική σημασιολογία, χωρίζοντας τη διαδικασία τυποποίησης σε δύο επίπεδα (μάκρο- και μίκρο- σημασιολογία) και προκαθορίζει τρεις σημασιολογικές οντότητες (ενέργειες, δεδομένα και yielders) για την απλοποίηση της προδιαγραφής.
* Η ''[[αλγεβρική σημασιολογία|αλγεβρική σημασιολογία (algebraic semantics)]]'' περιγράφει τη σημασιολογία με όρους από άλγεβρες.
* Οι ''γραμματικές ιδιοτήτων (attribute grammars)'' ή ''κατηγορηματικές γραμματικές'' ορίζουν συστήματα που υπολογίζουν συστηματικά "μεταδεδομένα" (που αποκαλούνται ''ιδιότητες'' ή ''attributes'') για τις διάφορες περιπτώσεις της [[
* Η ''κατηγορηματική σημασιολογία (categorical semantics'' ή ''functorial semantics)'' χρησιμοποιεί τη [[θεωρία κατηγοριών]] σαν τον κεντρικό της μαθηματικό φορμαλισμό.
* Η ''σημασιολογία του ταυτοχρονισμού (concurrency semantics)'' είναι ένας όρος που εφαρμόζεται σε κάθε τυπική σημασιολογία που περιγράφει ταυτόχρονους υπολογισμούς. Ιστορικά σημαντικοί ταυτόχρονοι φορμαλισμοί είναι το [[μοντέλο Actor]] και οι [[λογισμός διαδικασιών|λογισμοί διαδικασιών]] (process calculi).
|