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

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



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

Σταματόπουλος, Παναγιώτης (EL)
Stamatopoulos, Panagiotis (EN)

Ξιφαρά, Φωτεινή (EL)
Παπαβασιλείου, Σπυρίδων (EL)
Κάλλιπος (EL)
Ροντογιάννης, Παναγιώτης (EL)
Kallipos (EN)
Papavasileiou, Spyridon (EN)
Xifara, Foteini (EN)
Rontogiannis, Panagiotis (EN)

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

learningMaterial
bookChapter

ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΕΙΣ (EL)
ΛΟΓΙΚΗ (EL)
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ (EL)
Functional Programming (EN)
Programming Languages (EN)
Prolog (EN)
Haskell (EN)
Logic Programming (EN)
Functions (EN)
Logic (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



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