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.
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 |