Whitepapers

Exercises from "Algebraic Semantics of Imperative Programs" Solutions by Joseph Kiniry

Released 20 June 2000

This package provides solutions to nearly all of the exercises in [GoguenMalcolm96]. Source OBJ3 code for all exercises is included. You can download it below.

By downloading this set of exercises from this page, you agree to the following:

Copyright (c) 1999-2000, Joseph Kiniry

All rights reserved.

You agree that this information will be used for personal, educational purposes only. You will not download these solutions with the intent on using them to fulfill the homework obligations of a class in which you are currently, or might in the future, enroll. You will not claim to have completed these exercises yourself and you will not redistribute these solutions in any way.

The exercises come in 2 archive formats, either as a gzipped tar file or as a ZIP archive. Both contain the exact same files.

To download the exercises, please provide the following information:

Your Name:

Organization:

E-Mail Address:

Where did you hear about this download?

What is your intended use for the exercises?

Do you wish to be notified via e-mail of future releases?

By clicking on the Download button you agree to the terms of the above License Agreement.