TITLE

Chapter 10: Functional Concepts in C++

AUTHOR(S)
Abdul Rauf, Rose H.; Berger, Ulrich; Setzer, Anton
PUB. DATE
September 2007
SOURCE
Trends in Functional Programming Volume 7;2007, Vol. 7, p163
SOURCE TYPE
Book
DOC. TYPE
Book Chapter
ABSTRACT
We describe a parser-translator program that translates typed λ-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of λ-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.
ACCESSION #
31422028

 

Related Articles

  • Portable C/C++ Code for Portable XML Data. Wang, Zhaoqing; Cheng, Harry H. // IEEE Software;Jan/Feb2006, Vol. 23 Issue 1, p76 

    The article presents information about portable C/C++ code for portable XML data. XML makes use of context encapsulation to separate content from presentation and to support a hierarchical structure among data from various sources. XML data is reusable, easily derivable, and reconfigurable....

  • Curing Web insanity. Gibbs, Mark // Network World;9/24/2001, Vol. 18 Issue 39, p40 

    Highlights the features of the free utility Proxomitron, created by Scott Lemmon. Offering of a proxy server that can parse Web pages and match patterns in the text of the retrieved HTML code; Search for unwanted code; Functions of the text-matching language; Avoidance of excessive pop-up...

  • Parsing Ill-Formed Text Using an Error Grammar. Foster, Jennifer; Vogel, Carl // Artificial Intelligence Review;Jun2004, Vol. 21 Issue 3/4, p269 

    This paper presents a robust parsing approach which is designed to address the issue of syntactic errors in text. The approach is based on the concept of an error grammar which is a grammar of ungrammatical sentences. An error grammar is derived from a conventional grammar on the basis of an...

  • Multiprocessor Platform for Parallel Implementation of a Cost-Efficient H.264/AVC Encoder. Ammari, Ahmed Chiheb // Journal of King Abdulaziz University: Engineering Sciences;2014, Vol. 25 Issue 1, p53 

    The H.264/AVC (Advanced Video Codec) new video coding standard provides higher coding efficiency relative to former standards at the expense of higher computational requirements. Given the potential applications of this technology, we are developing an application environment able to decode an...

  • Parser Program.  // Network Dictionary;2007, p366 

    A definition of the term "parser program" is presented. In the context of computer software, this refers to a computer program used to conduct parsing process in order to determine the syntactic nature of a sentence or string of symbols in some languages. A sequence of tokens output is normally...

  • Parsing Process.  // Network Dictionary;2007, p366 

    A definition of the term "parsing process," also known as syntax analysis in the computer software context, is presented. This refers to the process of analyzing an input sequence to determine its grammatical structure with respect to a given formal grammar. Input text are transformed into a...

  • The C++ SoftBench class editor. Wilson, Julie B. // Hewlett-Packard Journal;Feb97, Vol. 48 Issue 1, p12 

    Focuses on the C++ SoftBench class editor. Benefits of the class editor; Features that control the complexity of what is displayed; Changing of the class hierarchy; Recovering from editing mistakes; Updating of static database; Using of the class editor with a SoftBench text editor; Working...

  • CodeAdvisor: Rule-based C++ defect detection using a static database. Duesing, Timothy J.; Diamant, John R. // Hewlett-Packard Journal;Feb97, Vol. 48 Issue 1, p19 

    Focuses on C++ SoftBench CodeAdvisor. Function as an automated rule checker; Example of one of the rules CodeAdvisor implements; Detection of an error using the static database; Exceptions to the rule.

  • C++Test automates code quality check. Yager, Tom // InfoWorld;03/27/2000, Vol. 22 Issue 13, p72 

    Reviews the computer software C++Test developed by ParaSoft company.

Share

Read the Article

Courtesy of VIRGINIA BEACH PUBLIC LIBRARY AND SYSTEM

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics