Σημασιολογία Λογικών Προγραμμάτων

• Main Authors: Stamatopoulos, Panagiotis, Σταματόπουλος, Παναγιώτης
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΛΟΓΙΚΗ; ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ; ΣΥΝΑΡΤΗΣΕΙΣ; Logic Programming; Functional Programming; Logic; Programming Languages; Functions; Prolog; Haskell

Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλή...