Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net