Department of Information Technology

Three holy grails of programming models

Speaker

Joachim Parrow

Date and Time

Thursday, March 12th, 2009, at 13.30.

Location

Polacksbaken, room 1146

Abstract

I shall discuss three important paradigms for formulating models of programming languages, the technical problems involved in unifying them, and how it connects to recent work joint with Jesper Bengtson, Magnus Johansson and Björn Victor. This will also serve to put the pi-calculus in perspective by explaining its underlying motivations and real achievements and limitations. The intended audience should have a reasonable grasp on programming but needs not be familiar with any particular formal models.

Back to the seminar page

Updated  2009-03-05 16:05:52 by Frédéric Haziza.