CS Behind the Curtain (CS195 2003S)

Class 30: Semantics of Assignment (1)

Back to Designing a List Type. On to Semantics of Assignment (2).

Held: Tuesday, 11 March 2003

Summary: Today we consider the definition of a variety of assignment statements using weakest preconditions as a definition technique.

Related Pages:




Some Background

Weakest Preconditions


Semantics of Simple Assignment

Some Simple Examples

A Stranger Example



Tuesday, 7 January 2003 [Samuel A. Rebelsky]

Tuesday, 11 March 2003 [Samuel A. Rebelsky]


Back to Designing a List Type. On to Semantics of Assignment (2).

Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Fri May 2 14:20:46 2003.
The source to the document was last modified on Tue Mar 11 14:01:56 2003.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS195/2003S/Outlines/outline.30.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Samuel A. Rebelsky, rebelsky@grinnell.edu