ΣΗΜΑΣΙΟΛΟΓΙΑ ΚΑΙ ΥΠΟΣΤΗΡΙΞΗ ΣΤΟΙΧΕΙΟΠΟΙΗΣΗΣ ΛΟΓΙΚΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ ΜΕ ΕΦΑΡΜΟΓΗ ΤΗΣ ΣΤΟΥΣ ΑΦΗΡΗΜΕΝΟΥΣ ΤΥΠΟΥΣ ΔΕΔΟΜΕΝΩΝ

Περίληψη

ΣΤΗ ΔΙΑΤΡΙΒΗ ΑΥΤΗ ΠΑΡΟΥΣΙΑΖΕΤΑΙ ΕΝΑ ΣΥΣΤΗΜΑ ΣΤΟΙΧΕΙΩΝ ΓΙΑ ΤΟ ΛΟΓΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΤΑ ΟΠΟΙΑ ΕΠΙΚΟΙΝΩΝΟΥΝ ΜΕΤΑΞΥ ΤΟΥΣ ΜΕΣΩ ΔΗΛΩΣΕΩΝ ΕΝΔΟΕΠΙΚΟΙΝΩΝΙΑΣ. ΟΙ ΔΗΛΩΣΕΙΣ ΕΙΣΑΓΩΓΗΣ/ΕΞΑΓΩΓΗΣ ΕΚΛΕΠΤΥΝΟΝΤΑΙ ΚΑΙ ΕΠΕΚΤΕΙΝΟΝΤΑΙ ΠΡΟΚΕΙΜΕΝΟΥ ΝΑ ΠΡΟΣΦΕΡΟΥΝ ΜΕΓΑΛΥΤΕΡΗ ΛΕΙΤΟΥΡΓΙΚΟΤΗΤΑ. ΣΤΟ ΣΥΣΤΗΜΑ ΣΤΟΙΧΕΙΩΝ ΑΠΟΔΙΔΕΤΑΙ ΜΟΝΤΕΛΟΘΕΩΡΗΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ, ΣΗΜΑΣΙΟΛΟΓΙΑ ΣΤΑΘΕΡΟΥ ΣΗΜΕΙΟΥ ΚΑΙ ΛΕΙΤΟΥΡΓΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ. ΟΙ ΤΡΕΙΣ ΑΥΤΕΣ ΣΗΜΑΣΙΟΛΟΓΙΕΣ ΑΠΟΔΕΙΚΝΥΟΝΤΑΙ ΙΣΟΔΥΝΑΜΕΣ. ΕΠΙΣΗΣ, ΟΡΙΖΕΤΑΙ ΤΥΠΙΚΑ ΕΝΑΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ Ο ΟΠΟΙΟΣ ΑΠΕΙΚΟΝΙΖΕΙ ΣΤΟΙΧΕΙΟΠΟΙΗΜΕΝΑ ΛΟΓΙΚΑ ΠΡΟΓΡΑΜΜΑΤΑ ΣΕ ΑΠΛΑ. ΔΙΝΕΤΑΙ ΜΙΑ ΜΟΡΦΗ ΙΣΟΔΥΝΑΜΙΑΣ ΤΗΣ ΕΙΚΟΝΑΣ ΤΟΥ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΥ ΜΕ ΤΙΣ ΑΛΛΕΣ ΣΗΜΑΣΙΟΛΟΓΙΕΣ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ. Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ ΕΧΕΙ ΧΡΗΣΙΜΟΠΟΙΗΘΕΙ ΓΙΑ ΜΙΑ ΥΛΟΠΟΙΗΣΗ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ ΣΤΟΙΧΕΙΩΝ ΜΕΣΩ ΠΡΟΕΠΕΞΕΡΓΑΣΤΗ. Η ΥΛΟΠΟΙΗΣΗ ΕΧΕΙ ΓΙΝΕΙ ΓΙΑ ΤΗΝ PROLOG ΚΑΙ Ο ΠΡΟΕΠΕΞΕΡΓΑΣΤΗΣ ΕΙΝΑΙ ΚΑΙ ΑΥΤΟΣ ΚΩΔΙΚΟΠΟΙΗΜΕΝΟΣ ΣΕ PROLOG. ΠΡΟΚΕΙΜΕΝΟΥ ΝΑ ΕΠΕΚΤΑΘΕΙ Η ΔΥΝΑΤΟΤΗΤΑ ΔΟΜΗΣΗΣ ΚΑΙ ΣΤΑ ΔΕΔΟΜΕΝΑ, ΟΡΙΖΕΤΑΙ ΕΝΑ ΣΥΣΤΗΜΑ ΑΦΗΡΗΜΕΝΩΝ ΤΥΠΩΝ ΔΕΔΟΜΕΝΩΝ (ΑΤΔ) ...
περισσότερα

Περίληψη σε άλλη γλώσσα

IN THIS THESIS, A MODULE SYSTEM FOR LOGIC PROGRAMMING IS PRESENTED. THE MODULESEXCHANGE INFORMATION VIA INTERFACE DECLARATIONS WHICH ARE AN EXTENSION AND A REFINEMENT OF THE STANDARD IMPORT/EXPORT DECLARATIONS IN ORDER TO PROVIDE A LARGER FUNCTIONALITY. MODEL-THEORETIC, FIXPOINT AND OPERATIONAL SEMANTICS OF THE MODULE SYSTEM HAVE BEEN DEFINED AND HAVE BEEN PROVED TO BE EQUIVALENT. IN ADDITION, A FORMAL TRANSFORMATION OF THE MODULE SYSTEM TO FLAT LOGIC PROGRAMMING HAS BEEN ALSO DEFINED. THE FLAT LOGIC PROGRAM HAS BEEN PROVED TO BE EQUIVALENT TO THE MODULARIZED ONE. A PREPROCESSOR BASED IMPLEMENTATION OF THE MODULE SYSTEM IS BASED ON THE TRANSFORMATION. THE SYSTEM HAS BEEN IMPLEMENTED FOR PROLOG AND THE PREPROCESSOR ITSELF HAS BEEN CODED IN PROLOG. THE STRUCTURING FACILITY HAS BEEN EXTENDED TO THE ABSTRACT DATA TYPE (ADT) SUPPORT. AN ADT SYSTEMFOR PROLOG IS PRESENTED IN THE THESIS. THIS SYSTEM SUPPORTS ADT INSTANCES WITH STATE THAT CAN BE OBSERVED AND MODIFIED. TWO COMPLEMENTA ...
περισσότερα
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/5018
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/5018
Εναλλακτικός τίτλος
SEMANTICS AND SUPPORT OF MODULARITY IN LOGIC PROGRAMMING AND APPLICATION TO ABSTRACT DATA TYPES
Συγγραφέας
ΚΑΡΑΛΗ, ΙΖΑΜΠΩ
Ημερομηνία
1995
Ίδρυμα
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Σχολή Θετικών Επιστημών. Τμήμα Πληροφορικής
Εξεταστική επιτροπή
ΧΑΛΑΤΣΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ
ΦΙΛΟΚΥΠΡΟΥ ΓΕΩΡΓΙΟΣ
ΧΑΤΖΟΠΟΥΛΟΣ ΜΙΧΑΗΛ
ΓΕΩΡΓΙΑΔΗΣ ΠΑΝΑΓΙΩΤΗΣ
ΤΣΑΛΓΑΤΙΔΟΥ ΑΦΡΟΔΙΤΗ
ΠΑΠΑΚΩΝΣΤΑΝΤΙΝΟΥ ΓΕΩΡΓΙΟΣ
ΑΦΡΑΤΗ ΦΩΤΩ
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Επιστήμες Ηλεκτρονικών Υπολογιστών & Πληροφορικής
Λέξεις-κλειδιά
ΑΦΗΡΗΜΕΝΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ; ΕΓΚΛΩΒΙΣΜΟΣ; ΚΑΤΑΣΤΑΣΗ; Λογικός προγραμματισμός; Σημασιολογία; ΣΤΟΙΧΕΙΟΠΟΙΗΣΗ; ΣΥΣΤΗΜΑΤΑ ΒΑΣΙΣΜΕΝΑ ΣΕ ΠΡΟΕΠΕΞΕΡΓΑΣΤΗ
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά