A framework for programming denotational semantics in C++

Papaspyrou, NS

dc.contributor.author	Papaspyrou, NS	en
dc.date.accessioned	2014-03-01T01:11:35Z
dc.date.available	2014-03-01T01:11:35Z
dc.date.issued	1996	en
dc.identifier.issn	0362-1340	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/11726
dc.subject	denotational semantic	en
dc.subject	Functional Language	en
dc.subject	Functional Programming Language	en
dc.subject	Integral Functional	en
dc.subject	Object Oriented Programming	en
dc.subject	Programming Language	en
dc.subject.classification	Computer Science, Software Engineering	en
dc.title	A framework for programming denotational semantics in C++	en
heal.type	journalArticle	en
heal.identifier.primary	10.1145/242903.242913	en
heal.identifier.secondary	http://dx.doi.org/10.1145/242903.242913	en
heal.language	English	en
heal.publicationDate	1996	en
heal.abstract	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
heal.publisher	ASSOC COMPUTING MACHINERY	en
heal.journalName	SIGPLAN Notices (ACM Special Interest Group on Programming Languages)	en
dc.identifier.doi	10.1145/242903.242913	en
dc.identifier.isi	ISI:A1996VM12500005	en
dc.identifier.volume	31	en
dc.identifier.issue	8	en
dc.identifier.spage	16	en
dc.identifier.epage	25	en