UMass logo
CMPSCI 630 (691F)
Programming Languages
Spring 2009

Formatting Suggestions for Homework Assignment 1

Below are some formatting suggestions that may help you in preparing your answers to Homework Assignment 1 and future homeworks as well.

Last Update 2:45pm Tues Feb 24 .

  1. Per John Altidor:
    The two popular Latex packages I found for typesetting inference rules are mathpartir and proof. Below are links to the sources & documentation

    mathpartir: http://cristal.inria.fr/~remy/latex/

    proof: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ndexamples/proofsty.html

  2. Here's an example of a standard header for LaTeX homework files, taken from a sample solution file:

    \documentclass[11pt,letterpaper]{article}
    \usepackage[latin1]{inputenc}
    \usepackage{amsmath}
    \usepackage{amsfonts}
    \usepackage{amsthm}
    \usepackage{amssymb}
    \usepackage{moreverb}
    \usepackage{graphicx}
    \usepackage{subfigure}
    \usepackage[left=1in,top=1in,right=1in,nohead]{geometry}
    \usepackage[tiny,compact]{titlesec}
    \author{Sample Solution}
    \title{CS630 HW\#1}
    \begin{document}
    \maketitle


    \newcommand{\INFER}[2]
    { %% start of the macro
    \begin{tabular}{c} %% just one column
    {#1} \\ %% first line
    \hline %%line to appear
    {#2} %% second line
    \end{tabular}
    } %% end


    Note that {\INFER {a} {b} } will produce a judgment "a over b"
    This command can be embedded within in itself:

    {\INFER {{\INFER {a} {b}}} {c} } will produce a judgment "a over b over c"


E-mail the instructor
E-mail the TA
Last modified: Tues Feb 24 14:45 EST 2009