Resources for CS 631
The Programming
Language Research site at CMU
The Language List site at the
University of Geneva
Attribute Grammars
- Don Knuth, "Semantics of Context-Free Languages", Mathematical
Systems Theory 2, 1968, pp. 127-145. Errata, Mathematical Systems Theory 5,
1971, pp. 95-96. (class handout)
- Don Knuth, "The Genesis of Attribute Grammars", (.ps)
- Tutorial
on Attribute Grammars
- Paakki, "Attribute Grammar Paradigms -- A High-Level Methodology in
Language Implementation", (.pdf)
- A simple of example of lex and YACC as tools for AG evaluation, using Knuth's
binary floats. There's a makefile, a YACCfile,
a lexfile, a mainprogram,
test case 1, and test case
2. Feel free to try it out!
- R. Farrow, T. Marlowe, D. Yellin, "Composable Attribute Grammars: Support
for Modularity in Translator Design and Implementation", (.pdf)
- The FNC-2
AG Evaluation System. Documentation,
Functional Languages
- Lots of ML resources! Such as Standard
ML of New Jersey
My updated and revised slides (.ppt) on ML, based
on Ullman's text.
The emacs files for sml mode
From CS 331, some nice examples: smallest element in a list MinList.ml,
preorder tree traversal updatedPre.ml,
polynomial arithmetic poly.ml,
Another example showing difference lists, and the use of SML timers diff.ml
A short, but comprehensive, ML
Tutorial
The examples
from Robert Harper's new SML book the online version
The paper "Standard ML of New Jersey", Andrew W. Appel and David
B. MacQueen. Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming
Springer-Verlag LNCS 528, pp. 1-13, August 1991. (.ps)
- Rafael Lins, "The Fall and Rise of FP", (.ps)
- "Report on the Programming Language Haskell", (.pdf)
- Barros and Almeida, "Haskell Tutorial", (.ps)
Compilation and Translation
Semantics
- Paul Attie, "Lecture Notes -- Axiomatic Semantics and Program Verification"
(.ps,.pdf)
Language Design
- Guy Steele, "Growing a Language", preliminary version, (.ps)
Run-time Issues