Changeset 1454 for Deliverables/D4.2-4.3/reports/D4-3.tex
- Timestamp:
- Oct 23, 2011, 4:28:55 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.2-4.3/reports/D4-3.tex
r1449 r1454 548 548 \section{Future work} 549 549 \label{sect.future.work} 550 551 A few small axioms remain to be closed.552 These relate to fetching the next instruction to be interpreted from the control flow graph, or linearised representation, of the language.553 Closing these axioms should not be a problem.554 550 555 551 Most things related to external function calls are currently axiomatised.
Note: See TracChangeset
for help on using the changeset viewer.