Σημασιολογία Λογικών Προγραμμάτων
Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλή...
Κύριοι συγγραφείς: | , |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/3594 |