# Changeset 2084 for src/ASM/CPP2012-policy/conclusion.tex

Ignore:
Timestamp:
Jun 15, 2012, 1:17:15 AM (8 years ago)
Message:
• changed bibliography style
• added CerCo? thanks
• some words of conclusion
File:
1 edited

Unmodified
Added
Removed
• ## src/ASM/CPP2012-policy/conclusion.tex

 r2064 \section{Conclusion} In the previous sections, we have discussed the branch displacement optimisation problem, presented an optimised solution, and discussed the proof of termination and correctness for this algorithm, as formalised in Matita. \subsection{Related work} As far as we are aware, this is the first formal discussion of the branch displacement algorithm. (Piton? CompCert?) \subsection{Formal development} All Matita files related to this development can be found on the CerCo website, \url{http://cerco.cs.unibo.it}. The specific part that contains the branch displacement algorithm is in the {\tt ASM} subdirectory, in the files whose name starts with {\tt Policy}.
Note: See TracChangeset for help on using the changeset viewer.