Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 73

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 80
CiE 2006 - Regular Talk: - Integrating Functional Programming Into C++: Implementation and Verification
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
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-07-03 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net