Functional Concepts in C++
We describe a parser-translator program that translates ty ped l-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of l-terms into C++ with respect to a denotational semantics using a Kripke-style logical relation. We also introduce a general...
| Published in: | Trends in Functional Programming: Volume 7 |
|---|---|
| Main Author: | |
| Format: | Book chapter |
| Language: | English |
| Published: |
Intellect Ltd.
2005
|
| Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85206032591&partnerID=40&md5=c7f4b63f576dd88e2086e7d5b9d4a947 |
| id |
2-s2.0-85206032591 |
|---|---|
| spelling |
2-s2.0-85206032591 Abdul Rauf R.H.; Berger U.; Setzer A. Functional Concepts in C++ 2005 Trends in Functional Programming: Volume 7 7 https://www.scopus.com/inward/record.uri?eid=2-s2.0-85206032591&partnerID=40&md5=c7f4b63f576dd88e2086e7d5b9d4a947 We describe a parser-translator program that translates ty ped l-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of l-terms into C++ with respect to a denotational semantics using a Kripke-style logical relation. We also introduce a general technique for introducing lazy evaluation into C++ and illustrate it by carrying out in C++ the example of computing the Fibonacci numbers efficiently using infinite streams and lazy evaluation. © 2007 Intellect. All rights reserved. Intellect Ltd. English Book chapter |
| author |
Abdul Rauf R.H.; Berger U.; Setzer A. |
| spellingShingle |
Abdul Rauf R.H.; Berger U.; Setzer A. Functional Concepts in C++ |
| author_facet |
Abdul Rauf R.H.; Berger U.; Setzer A. |
| author_sort |
Abdul Rauf R.H.; Berger U.; Setzer A. |
| title |
Functional Concepts in C++ |
| title_short |
Functional Concepts in C++ |
| title_full |
Functional Concepts in C++ |
| title_fullStr |
Functional Concepts in C++ |
| title_full_unstemmed |
Functional Concepts in C++ |
| title_sort |
Functional Concepts in C++ |
| publishDate |
2005 |
| container_title |
Trends in Functional Programming: Volume 7 |
| container_volume |
7 |
| container_issue |
|
| doi_str_mv |
|
| url |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85206032591&partnerID=40&md5=c7f4b63f576dd88e2086e7d5b9d4a947 |
| description |
We describe a parser-translator program that translates ty ped l-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of l-terms into C++ with respect to a denotational semantics using a Kripke-style logical relation. We also introduce a general technique for introducing lazy evaluation into C++ and illustrate it by carrying out in C++ the example of computing the Fibonacci numbers efficiently using infinite streams and lazy evaluation. © 2007 Intellect. All rights reserved. |
| publisher |
Intellect Ltd. |
| issn |
|
| language |
English |
| format |
Book chapter |
| accesstype |
|
| record_format |
scopus |
| collection |
Scopus |
| _version_ |
1814778510573568000 |