Understanding Programs

A work-in-progress document developing the formal semantics of a programming and specification language and the rules of reasoning about programs and specifications written in that language.

• July 28, 2008: Methods with recursion, introduction, references (first complete version).
• May 30, 2008: Expressions and Interruptions, Methods (without recursion).
• February 13, 2008: Interrupting the Control Flow (almost completed).
• November 27, 2007: Interrupting the Control Flow (pre- and postconditions).
• October 9, 2007: Interrupting the Control Flow (partial).
• April 3, 2007: Reasoning on Commands and States.
• December 8, 2006: Loops and Non-Termination.
• November 15, 2006: States and Commands.

-- WolfgangSchreiner

Attachment	Action	Size	Date	Who	Comment
main-061115.pdf	manage	213.9 K	15 Nov 2006 - 16:28	WolfgangSchreiner
main-061208.pdf	manage	245.7 K	08 Dec 2006 - 18:12	WolfgangSchreiner
main-070403.pdf	manage	381.1 K	03 Apr 2007 - 14:15	WolfgangSchreiner
main-071009.pdf	manage	724.1 K	09 Oct 2007 - 19:10	WolfgangSchreiner
main-071127.pdf	manage	889.1 K	27 Nov 2007 - 15:36	WolfgangSchreiner
main-080213.pdf	manage	1096.5 K	13 Feb 2008 - 13:39	WolfgangSchreiner
main-080530.pdf	manage	1375.0 K	30 May 2008 - 19:16	WolfgangSchreiner
main-080728.pdf	manage	1471.2 K	28 Jul 2008 - 16:07	WolfgangSchreiner