A- A0 A+ | EN
ΤΥΠΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΤΗΣ ΓΛΩΣΣΑΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ C
Διαβάστε τη διατριβή (Online)
Κατεβάστε τη διατριβή σε μορφή PDF (14.54 MB)  (Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)

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

DOI
10.12681/eadd/9963
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/9963
ND
9963
Εναλλακτικός τίτλος
A FORMAL SEMANTICS FOR THE C PROGRAMMING LANGUAGE
Συγγραφέας
Παπασπύρου, Νικόλαος
Ημερομηνία
1998
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Πληροφορικής. Εργαστήριο Τεχνολογίας Λογισμικού
Εξεταστική επιτροπή
Σκορδαλάκης Εμμανουήλ
Παπακωνσταντίνου Γεώργιος
Σταφυλοπάτης Ανδρέας
Ζάχος Ευστάθιος
Σέλλης Τίμος
Τσανάκας Παναγιώτης
Ροντογιάννης Παναγιώτης
Λέξεις-κλειδιά
ΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ANSI-C; Δηλωτική σημασιολογία; ΜΕΤΑΣΧΗΜΑΤΙΣΤΕΣ ΜΟΝΑΔΩΝ; ΜΟΝΑΔΕΣ; ΠΡΟΤΥΠΟ ISO/IEC 9899:1990
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
277 σ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)