ASSIGNMENT #2

Due Monday, June 9, 2003, 11:59 P.M.

1. Study the attached denotational semantics for the PL/0 language. This defines how PL/0 programs should be compiled and executed using a functional notation. If you have difficulty with the notation, please consult http://strweb.lhl.uab.edu/CS405/Module08/Unit03, http://strweb.lhl.uab.edu/CS405/Module08/Unit04, http://strweb.lhl.uab.edu/CS405/Module08/Unit05, http://strweb.lhl.uab.edu/CS405/Module09/Unit01, http://strweb.lhl.uab.edu/CS405/Module09/Unit02, and http://strweb.lhl.uab.edu/CS405/Module09/Unit03. Note that the first of these starts its discussion of denotational semantics in the middle.

2. Convert this specification into Two-Level Grammar. Use object-orientation and inheritance as much as possible.

3. Submit your TLG specification in plain text by e-mail (no MicroSoft or HTML attachments).