CiE 2006 - Regular Talk: - Integrating Functional Programming Into C++: Implementation and Verification

Computability in Europe 2006
Logical Approaches to Computational Barriers

Print this page

CiE 2006

Home page

General Information

CiE Network and Series

Programme Committee

Contact Info

Regular Talk:
Integrating Functional Programming Into C++: Implementation and Verification

Speaker:	Ulrich Berger
Author(s):	Rose Hafsah Abdul Rauf, Ulrich Berger and Anton Setzer
Slot:	Tue, 15:10-15:30, Faraday J (col. 5)

Abstract

We describe a parser-translator program that translates typed lambda-terms to
C++
classes so as to integrate functional programming. We prove the correctness of
the
translation with respect to a denotational semantics using Kripke-style
relations

websites: Arnold Beckmann

2006-07-03

Regular Talk: Integrating Functional Programming Into C++: Implementation and Verification

Abstract

Regular Talk:
Integrating Functional Programming Into C++: Implementation and Verification