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 |
| Summary: | 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. |
|---|---|
| ISSN: |