Manifest: Tuesday 18 April 2000

Assignments Due
Friday, 28 April	Project Final Report

To be discussed Tuesday 25 April (handed out today):

·	David Evans. Static Detection of Dynamic Memory Errors. PLDI 1996.
·	Jeffrey Foster, Manual Fahndrich and Alexander Aiken. A Theory of Type Qualifiers. PLDI 1999.
·	David Detlefs, Rustan M. Leino, Greg Nelson and James B. Saxe. Extended Static Checking. Compaq SRC Research Report, December 1998.

The author of the Static Detection of Dynamic Memory Errors paper must have been sleeping in his programming languages class when they learned about formal descriptions of language semantics. The meanings of LCLint annotations are described in an informal and ad hoc manner. Devise a formal technique for describing LCLint annotations (using the A Theory of Type Qualifiers paper for inspiration) and show how several of the LCLint annotations can be described formally.

• What are aspects?
• What are examples of properties that crosscut programs?
• What are the advantages and disadvantages of aspect-oriented programming?

The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

Donald E. Knuth, 1967

University of Virginia CS 655: Programming Languages

cs655-staff@cs.virginia.edu Last modified: Fri Mar 2 09:50:02 2001