Overview
This page gives access to information about courses taught by Gary T. Leavens for the Department of Computer Science at Iowa State University.
Lecture notes (sometimes only partial), homeworks, and tests for my courses are available via the WWW below. If you are an instructor at a college or university, I would be happy to e-mail you complete lecture notes, and the homework and test answers that I have (but isn't working them out half the fun?). If I don't already know you, please send me a request by mail on your school's letterhead.
All my lecture notes, homeworks, and tests are copyright (c) 1989-2000 by Gary T. Leavens. Permission is granted for you to make copies for educational and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved.
I expect that you will give proper credit if you use or adapt my notes, homeworks, or tests in your own classes or in textbooks you may develop.
See also the Teaching About Programming Languages Project, where you can find course information by other academics.
Programming
- Undergraduate: Introduction to Programming (227) (no longer current at Iowa State)
- Undergraduate: Introduction to Data Structures (228)
- Undergraduate: Unix and C Programming (218) (no longer current at Iowa State)
Design
- Undergraduate: Object-Oriented Analysis and Design (362)
Formal Methods
Programming Languages
- Undergraduate: Principles of Programming Languages (342)
- Undergraduate: Programming Language Concepts (22C:54 at the University of Iowa)
- Graduate: Programming Languages 1 (541)
- Graduate: Programming Language Semantics (641)
- Graduate: CPS Seminar (610 GL, Spring 1997)
Graduate Seminars
- Graduate: Topics in Specification and Verification for Java-like Languages (610 GL, Spring 2007)
- Graduate: JML Seminar (610 GL, Fall 2005)
- Graduate: Formal Methods Seminar (610 RL, Fall 2001)
- Graduate: Pi-Calculus Seminar (610 ML, Fall 2001)
- Graduate: Fun with Java Seminar (610 GL, Summer 1997)
- Graduate: Computing Writer's Workshop
Contact Information
Gary T. LeavensDepartment of Computer Science, Iowa State University
229 Atanasoff Hall
Ames, Iowa 50011-1041 USA
e-mail: leavens@cs.iastate.edu
Phone: +1-515-294-1580 / fax: +1-515-294-0258
Last update $Date: 2007/01/16 23:50:51 $