Date: 12 Oct 2009 15:28:55 -0500
Subject: This week in ACL2

Hi --

The next ACL2 seminar will take place this Wednesday (Oct. 14), as
usual: 4:00 (promptly) till 5:45 pm in ACES 3.116.  Robert's abstract
is below.

.....

Robert Krug will talk about his mini C interpreter.  This
work is a small first step towards a possible more fully
featured C interpreter.

At present, it is a means of investigating the following issues:
1. Variables in C have a scope, and one variable may
shadow another.  Furthermore, variables must be declared
and initialized before being read.
2. C is a block structured language.  For example, after
executing a WHILE block, control should return to the WHILE's
test; during execution of an IF statement, only the correct
branch of the IF statement should be executed and the
other (if present) should be skipped.  What is the best way
to handle this, without decorating the code with GOTOs?