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.

By downloading one of these archives you agree to the terms of the above License Agreement.