Modern Programming Language Design
Pavel Panchekha
Mon Jan 23, 05-07:00pm, 4-231
Single session event
Prereq: Strong experience programming
At some point in the early fifties, a bright chap had the idea of replacing inscrutible numbers with mnemonics and syntax: assembler was invented, and the idea of a programming language was born. Today, the field of programming languages is vaster and richer than ever before: functional, object-oriented, distributed, typed, dynamic, logic, and metasyntactic languages all vie for attention. This class will cover the main ideas of modern language design: typing, macros, constraint-solving, proofs and correctness, and extensibility and dynamism. Some implementation ideas will be discussed, but mostly the focus will be on these ideas from the point of view of the language designer and researcher, not from the point of view of the compiler and interpreter writer.
Contact: Pavel Panchekha
Sponsor: Student Information Processing Board
Cosponsor: Electrical Engineering and Computer Science
Latest update: 12-Jan-2012
|
|