An Efficient and Parallel Abstract Interpreter in Scala — Second Presentation

An Efficient and Parallel Abstract Interpreter in Scala — Second Presentation