bparodi/UniTO
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

bibliography todo

Browse source
This commit is contained in:
Francesco Mecca 2020-04-11 01:02:04 +02:00
parent f682171afd
commit f464d23c8f
1 changed files with 4 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
tesi/tesi_unicode.org
View file

@ -26,15 +26,10 @@ Magari prima pattern matching poi compilatore?
\begin{comment}
MAIL COPPO:
Dovrei usare il termine tool invece di algoritmo?
Quanto devo scrivere della mia esperienza all'inria? Per ora non ho detto nulla
Descrivigli le parti che salto
Perche` ha segnato delle note su:
→ l
P → L
clause matrix
[|tₛ|]
\end{comment}
\begin{comment}
TODO: Bibliografia! Dolan, altri sulla symexec???
Cita i paper e il libro
\end{comment}
#+TITLE: Translation Verification of the pattern matching compiler