Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 10:45 - 11:30 at Conference Room 5 - 2 Chair(s): Amal Ahmed

Programming language research is largely the study of properties of programs, but reasoning about such properties presupposes programs have some meaning. Consequently, most papers in the area of programming languages start by establishing what programs mean, i.e., they define a semantics. There are several forms of semantics, but the most common form found in current PL papers is that of operational semantics. Operational semantics defines the meaning of a program by explaining its behavior in terms of a hypothetical computer which performs the set of actions which constitute the evaluation of that program. These “hypothetical computers” can range from the very abstract, bearing little resemblance to what you might think of as a physical computer, to the very concrete, amenable to implementation on common hardware.

The goal of this talk will be to convey the basic machinery of operational semantics needed to read and understand ICFP papers.

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

10:45 - 12:15
2PLMW at Conference Room 5
Chair(s): Amal Ahmed Northeastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van Horn University of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip Wadler University of Edinburgh
File Attached