Skip to main content
Department of Information Technology

Three holy grails of programming models


Joachim Parrow

Date and Time

Thursday, March 12th, 2009, at 13.30.


Polacksbaken, room 1146


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.