An Efficient and Parallel Abstract Interpreter in Scala — Presentation

An Efficient and Parallel Abstract Interpreter in Scala — Presentation