Programming Languages — 604 (Spring 2007) |
Course essentials:Table of Contents
Course: 604 — Programming Languages, TR 11:10AM-12:25PM HRBB 104 Instructor: Jaakko Järvi Course pages: http://courses.cs.tamu.edu/jarvi/2007/s604 Contact: jarvi@cs.tamu.edu Office hours: By appointment (my office is 410B)
NEWS
- Project reports are due Tuesday, May 8th, at noon. Please return to me personally, or put into my mailbox.
- March 19: Assignment 4 is out.
- Feb 20: Assignment 3 is out.
- Feb 7: Assignment 2 is out.
- Jan 25: Assignment 1 is out.
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, striving towards ever safer, more efficient, and expressive languages and programming environments. Results from recent programming language research are finding their way to main stream languages, C++ is evolving significantly, C# and Java have recently been extended with generics, Java has wildcards, a form of existential types. C++ is changing signficantly with an addition of constraints to templates. 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. The list goes on and on. For a motivated student, this class is an opportunity to get involved in this exciting research area.
This document was translated from LATEX by HEVEA.