CSCE-604 Programming Language Design (Spring 2011)
|Course||CSCE 604 – Programming Language Design, TR 3:55 pm – 5:10 pm, ZACH 105B|
|Office hours||By appointment (my office is 416)|
Fill in your project topic here: https://jottit.com/h9pgd
"CSCE604" is useful information.
- Assignment 4 is out [Tue Mar 1 14:13:46 2011]
- Assignment 3 is out [Sat Feb 26 17:27:46 2011]
- Assignment 2 is out [Wed Feb 9 13:07:43 2011]
- Assignment 1 is out [Thu Jan 27 15:46:37 2011]
In a nutshell
Study in the design space of programming languages, covering language processing, formalisms to describe semantics of programming languages, important concepts found in current programming languages, and programming paradigms.
Note to a prospective student
Programming languages are an active research area, the goals of which include ever safer, more efficient, and expressive languages and programming environments. Results from recent programming language research are finding their way to main stream languages, both C# and Java have recently been extended with generics, Java with wildcards, C# with LINQ. C++ is changing significantly with several new language features. Furthermore, new interesting languages, such as Scala with advanced type systems are being introduced, Spec# combines a theorem prover with a mainstream language, built-in support for representing XML data is being added to several languages. New languages aimed primarily to concurrent programming, and new abstractions to existing languages to better support concurrent programming are being introduced. The list goes on. For a motivated student, this class is an opportunity to get involved in this exciting research area.
20% of your course grade will be based on assignments and quizzes, 80% on a research project and/or exams. Participation, or more accurately, lack of it, can influence your grade you achieve otherwise from assignments and your project or exams, negatively, up to 10%. A grade of 90% or above guarantees an A, 80% or above a B, 70% or above a C, and 60% or above a D.
All grade assignments are final—unless there was a mistake made in recording your semester grades or in computing your final grade. If all numbers are correctly recorded and computed, I will not discuss changing the resulting letter grades.
There are situations that may warrant regrading a particular assignment. For example, making addition errors in computing your score, not seeing an answer that you gave, or not understanding an answer that you gave. Requests for regrading of assignments must be made within one week after the graded work has been handed back.
Academic Integrity Policy: An Aggie does not lie, cheat, or steal or tolerate those who do. The Honor Council Rules and Procedures are available on the web http://www.tamu.edu/aggiehonor.
The Americans with Disabilities Act (ADA) is a federal anti-discrimination statute that provides comprehensive civil rights protection for persons with disabilities. Among other things, this legislation requires that all students with disabilities be guaranteed a learning environment that provides for reasonable accommodation of their disabilities. If you believe you have a disability requiring an accommodation, please contact Disability Services, in Cain Hall, Room B118, or call 845-1637. For additional information visit http://disability.tamu.edu.
The primary text for the course is:
Benjamin C. Pierce: Types and Programming Languages
Not all of the book will be covered, and other material is used as well, but this book will be necessary to have.
The course aims to deepen understanding on the concepts and features of programming languages, and provide means to (formally) reason about languages and language features, to the extent to become able to appreciate current research and developments in the area of programming languages. Programming languages are a very large research area. Consequently, the course focus is on fundamental mechanisms rather than broadness. Not everything can be covered: the emphasis of the text is on static typing, type systems etc., which will comprise the main body of this course as well.
We start from Lambda calculus as the simplest model of a programming language, and gradually extend it with language features. The basics that are covered include
- Specifying semantics of programming languages
- Necessary proof techniques for programming language research
- Lambda calculus
- Specifying type systems
- Formal study of properties of type systems and languages (such as type safety)
Equipped with this basic skill set, we'll study more ambitious language constructs, such as:
- Polymorphism and generics
- Constrained generics (bounded quantification)
- Other recent advances/questions in programming languages/type systems
A likely class project will be an in-depth study of some interesting language feature, type system, etc. that has had some recent interest in the programming language research community.
Information on projects found here.
Schedule and material
|Tue, Jan 18||Introduction, Specifying Syntax||Introduction: pdf, Specifying Syntax and Semantics: pdf|
|Thu, Jan 20||Specifying PL Semantics, Induction|
|Tue, Jan 25||Structural Induction. Small step semantics|
|Thu, Jan 27||Small step semantics, simple types|
|Tue, Feb 1||Simple types, Intro to Haskell|
|Thu, Feb 3||Intro to Haskell|
|Tue, Feb 8||Intro to Haskell, Implementing interpreters|
|Thu, Feb 10||No class.|
|Tue, Feb 15||Lambda calculus||pdf, Fix.hs|
|Thu, Feb 17||Lambda calculus|
|Tue, Feb 22||Simple extensions to lambda calculus|
|Thu, Feb 24||Monads|
|Tue, Mar 1||Monads, functional parsers|
|Thu, Mar 3||Subtyping|
|Tue, Mar 8||Subtyping|
|Thu, Mar 10||Store and references|
|Tue, Mar 15||No class: Spring break|
|Thu, Mar 17||No class: Spring break|
|Tue, Mar 22||Guest Lecture: Dr. Dos Reis|
|Thu, Mar 24||Midterm|
|Tue, Mar 29||About Projects / System-F|
|Thu, Mar 31||Guest Lecture: Dr. Stroustrup|
|Tue, Apr 5||System-F|
|Thu, Apr 7||Bounded Polymorphism|
|Tue, Apr 12||FGJ|
|Thu, Apr 14|
|Tue, Apr 19||Project Presentations|
|Thu, Apr 21||No class|
|Tue, Apr 26||Project Presentations|
|Thu, Apr 28||Project Presentations|
Midterm exam is on Thursday, Mar 24th, during normal class hours. Reading for the exam:
- All slides
- All assignments
- Section 1
- Section 2 if you feel you need that
- Sections 3, 5, 8
- Subsections 9.1–9.3
- Subsections 11.1–11.4, 11.6–11.8
- Subsections 15.1–15.5
A few other compilers exist, but we will use the Glasgow Haskell
Compiler. An easy way to interact with GHC is to edit your document,
Foo.hs in your favourite editor (== Emacs, with haskell-mode),
and invoke the GHC interpreter in a shell window:
The most commonly used commands are
:l Footo load the module
Foo(from your file
:rto re-load the previously loaded module
:i xto inspect the value, type, …
:qto quit the interpreter
The compiler is invoked, for example as:
ghci -fglasgow-exts --make
--make option chases automatically which modules need to be
recompiled, so you don't have to write a Makefile yourself.
(Also GHC's analysis of what need to be recompiled is more fine grained,
GHC and Emacs in linux.cs.tamu.edu
To set up GHC with Emacs, follow the directions below:
- Create a .emacs file (if you don't have one)
- Add the following to your .emacs
(load "/home/faculty/jarvi/lib/emacs/haskell-mode/haskell-site-file") (add-hook 'haskell-mode-hook 'turn-on-haskell-ghci) (add-hook 'haskell-mode-hook 'turn-on-font-lock) (add-hook 'haskell-mode-hook (function (lambda () (setq haskell-program-name "ghci")))) (setq haskell-ghci-program-args '("-fglasgow-exts"))
Launch emacs, start editing some Haskell file, such as
C-c C-llaunches the interpreter and loads the current file.
Date: 2011-04-05 22:59:24 CDT
HTML generated by org-mode 6.33x in emacs 23