Computability in Europe 2006
Logical Approaches to Computational Barriers


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: Array, 15:10-15:30, 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