Changeset 1235


Ignore:
Timestamp:
Sep 21, 2011, 12:14:51 PM (8 years ago)
Author:
campbell
Message:

Some basic material for D3.2, but not yet finished.

Location:
Deliverables
Files:
4 added
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D3.3/Report/report.tex

    r1234 r1235  
    318318types to index statements in \textsf{Cminor} by their block depth, and the
    319319other asserts that variables and labels are present in the appropriate
    320 environments by adding a separate invariant to each function.
     320environments by adding a separate invariant to each function.  Note that these
     321do not yet cover all of the properties that a program in these languages is
     322expected to enjoy; for example, there are currently no checks that references
     323to globals are well-defined.
    321324
    322325\subsection{Cminor block depth}
Note: See TracChangeset for help on using the changeset viewer.