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)


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

websites: Arnold Beckmann 2006-07-03 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by