HTTPS SSH

An efficient and parallel abstract interpreter in Scala

MEMO-F524 Masters thesis (ULB)

Work in progress…

You can see the previous β€” Preparatory Work β€”.

All documents and LaTeX sources are available on this Bitbucket repository: https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala

Author: 🌳 Olivier Pirson β€” OPi OPi πŸ‡§πŸ‡ͺπŸ‡«πŸ‡·πŸ‡¬πŸ‡§ 🐧

🌐 Website: http://www.opimedia.be/

πŸ’Ύ Bitbucket: https://bitbucket.org/OPiMedia/

An efficient and parallel abstract interpreter in Scala

(piece of RenΓ© Magritte, Le Calcul Mental, 1940)