CS 598 One Minute Evaluations.

One Minute Evaluations for 3-5 June

Topic: Sequence, predicates, pre <-> post, interference weakening.
Topic: State, actions, implications { pre } S { post }; concurrency interference for concurrency programming.
Topic: oncurrency - styles, interference, history, 4 rules.
Didn't get: Histories.
One minute response: A history is a sequence of snapshots of a computation's state; the snapshots are taken between statements. But, in concurrent execution a lot can happen between statement executions, so that, without care, the state snapshots can may be blurry and hard to understand.
Topic: Predicate logic, programming logic, concurrency interference (analysis and avoidance).

This page last modified on 16 July 2003.