Personal tools
You are here: Home Events Lab Lunch: Ohad Kammar

Lab Lunch: Ohad Kammar

When Sep 20, 2011
from 01:00 PM to 02:00 PM
Where Informatics Forum MF2
Contact Name
Add event to calendar vCal

Ohad Kammar is going to be the speaker.

Title and abstract:

Title: Programming Language Semantics --- { Ret | Int | P}rospetive Discussion


Defining the formal meaning of programming languages has been
investigated for nearly half a century. The foundational questions in
the field have impact on programming language theoreticians, designers
and implementors. In this quasi-historical session, we'll review the
goals underlining semantics, and how operational and denotational
methods have been devised to investigate them. The review will be
followed by a short discussion about the current state of the theory,
tools and methodologies available. Was it a big waste of time?


Document Actions