CMSC 22100/32100: Programming Languages

Homework Assignments

Formatting, Editing, and Unicode Characters

The homework assignments are currently formatted as plain text, but with some use of unicode characters with the UTF-8 encoding. This means that this character encoding must be activated in browsers when viewing these files, or they must be viewed in an editor that can be configured to display UTF-8 characters properly.

The text files were produced in the emacs editor (Aquamacs on a Mac) and the unicode characters were entered using a set of emacs abbreviations contained in the file unicode-abbrevs which can be loaded with the emacs load command.

Homework Submission

Homework assignments will be submitted using the unix command, hwsubmit available on departmental linux computers.

1. Create a directory and put all relevant files inside it, such as programming exercises and proof/short answer problems. For proof/short answer problems, plain text files with numbered answers are appropriate. Do not submit documents in MS Word or RTF format. If you feel that text formatting (bold, italic, colors) or page styling (centering, tables, margins) are critical to your submission, use LaTex, or PDF.
2. Type on the command line:

   	
   	  hwsubmit PLF11 YOUR_DIRECTORY_NAME 
   

   and you should see a response in the terminal indicating that the contents of the directory have been sent to the grader.

Late Homework Policy

The policy on late homework is that each student can have a one-time 24 hour extension of the due date, to be used at their discretion. Extensions for cause (illness, religious holiday, family emergency) will be granted on a case-by-case basis, in response to a request in advance of the due date.

LaTeX Files

Here are some sample latex files for the Induction Tutorial that can provide typesetting examples for those who want to use LaTeX to format their homework.

• cs221-style.tex: document header formatting.
• cs221-macros.tex: some useful macros.
• code.sty: formating code.
• bussproofs.sty: formating derivations (google "bussproofs" for documentation).
• induction.tex: LaTeX source for the Induction Tutorial.