A framework for programming denotational semantics in C++

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

Αποθετήριο :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Σημασιολογικός εμπλουτισμός από το EKT
Τμήμα περιοδικού (EL)
Επιστημονικό άρθρο (EL)
1996 (EL)
A framework for programming denotational semantics in C++ (EN)
Papaspyrou, NS (EN)
In this paper, we describe how the denotational semantics of programming languages can be implemented in C++, by exploiting the object-oriented programming paradigm. Such implementations are execution models, extremely useful for the study of programming languages. Although C++ is not a natural choice for this problem domain, compared to functional programming languages such as ML, we suggest a type-safe framework, implemented in pure C++, that integrates functional characteristics such as high-order functions and is capable of naturally expressing denotational descriptions. Finally, by comparing our approach to possible implementations using functional languages, we investigate extensions to C++ that would be valuable in this problem domain. (EN)
journalArticle (EN)
Integral Functional (EN)
Functional Language (EN)
denotational semantic (EN)
Programming Language (EN)
Functional Programming Language (EN)
Object Oriented Programming (EN)
Computer Science, Software Engineering (EN)
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Δημοσιεύσεις μελών Δ.Ε.Π. σε περιοδικά
SIGPLAN Notices (ACM Special Interest Group on Programming Languages) (EN)
Αγγλική γλώσσα
1996 (EN)
http://hdl.handle.net/123456789/11726
25 (EN)
10.1145/242903.242913 (EN)
16 (EN)
0362-1340 (EN)
8 (EN)
ISI:A1996VM12500005 (EN)
31 (EN)
ASSOC COMPUTING MACHINERY (EN)



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