CSCI P415/P515 Homework

§P415 Homework Assignment

Note: I am in the process of setting up a homework repository using the Subversion version control system (SVN). However, this task is not yet done, so, meanwhile, it is important to organize your homework in a way that is compatable with the directory structure planned for SVN. For now, create a directory of your own for PVS homework. It should look like this:

[+] P415_homework
 |
 +--[+] 0
 |   |
 |   +-- 0.txt
 |
 +--[+] 1
 |
 +--[+] 2
 |
 +--[+] 3
 .
 .
 .

Subdirectories 0, 1, 2,... will contain the results of individual homework assignments. Once the repository is set up, you will be able to trasfer your work more-or-less directly to it.

Instructions for this assignment

Fill out a profile in plain text using the form below:

P415/515 Participant Profile
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Please fill out this form

NAME, LOGIN-ID:

LIST COMPUTER SCIENCE COURSES YOU HAVE TAKEN:

LIST COMPUTER SCIENCE COURSES YOU ARE TAKING:

Give a brief statement of your interests, general career goals, and what you
would like to get from taking this course:

Edit this file, keeping it in plain-text form, inserting the requested information. For example,

P415/515 Participant Profile
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Please fill out this form

NAME, LOGIN-ID: Steve Johnson, sjohnson

LIST COMPUTER SCIENCE COURSES YOU HAVE TAKEN:
   c211, c343, c335, c241, c311, p436, b441&2

LIST COMPUTER SCIENCE COURSES YOU ARE TAKING:
   p423, b401

Give a brief statement of your interests, general career goals, and what you
would like to get from taking this course:
   This course satisfies distributional requirements for my BS degree.  Also, I'm
   interested in programming language implementation and am curious about the
   issue of compiler correctness.

Save this file under the name 0/0.txt