Changeset 1454 for Deliverables/D4.2-4.3/reports/D4-3.tex

Timestamp:

Oct 23, 2011, 4:28:55 PM (9 years ago)

Author:

mulligan

Message:

removed mention of axiomatised code in LIN/semantics.ma

File:

• Deliverables/D4.2-4.3/reports/D4-3.tex (modified) (1 diff)

Deliverables/D4.2-4.3/reports/D4-3.tex

@@ -548 +548 @@
 \section{Future work}
 \label{sect.future.work}
-
-A few small axioms remain to be closed.
-These relate to fetching the next instruction to be interpreted from the control flow graph, or linearised representation, of the language.
-Closing these axioms should not be a problem.
 
 Most things related to external function calls are currently axiomatised.