Three holy grails of programming models
Speaker: Joachim Parrow, Uppsala Universitet
Time: Mon 2009-05-25 13.15 - Wed 2013-10-23 11.00
Location: room 1537, Lindstedtsvägen 5, floor 5
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 to appear at LICS '09. 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 formalmodels.