Campus Event Calendar
Event Entry
What and Who
Program equivalence and compositional compiler correctness
Chung-Kil Hur
Laboratoire PPS
SWS Colloquium
AG 5, SWS, RG1
Expert Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 22 March 2010
11:00
60 Minutes
E1 5
5th floor
Saarbrücken
Abstract
We introduce a notion of program equivalence between different
languages and talk about what kind of mathematical techniques are
used, how it gives a compositional notion of compiler correctness and
more ambitiously how it may be seen as a technique to prove the
correctness of programs. We also briefly discuss how these ideas
can be formalized and verified in the formal proof assistant Coq.
languages and talk about what kind of mathematical techniques are
used, how it gives a compositional notion of compiler correctness and
more ambitiously how it may be seen as a technique to prove the
correctness of programs. We also briefly discuss how these ideas
can be formalized and verified in the formal proof assistant Coq.
Contact
Brigitta Hansen
0681 - 9325691
--email hidden
Video Broadcast
Yes
Kaiserslautern
G26
206
passcode not visible
logged in users only
Brigitta Hansen, 03/18/2010 15:08
Brigitta Hansen, 03/17/2010 09:19
Brigitta Hansen, 03/16/2010 11:13 -- Created document.
Brigitta Hansen, 03/17/2010 09:19
Brigitta Hansen, 03/16/2010 11:13 -- Created document.