Miguel Areias
Home
Publications
Talks
Teaching
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
Preview
Download Presentation
PDF file