Computer Science
8 years ago

Revolutionary Prolog Garbage Collection Algorithm Reduces Total Collection Time Significantly

Communications of the ACM
Garbarge collection for Prolog based on WAM
Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin

Paper Summary

Related papers

Theme background image
Computer Science
8 years ago

Revolutionary Prolog Garbage Collection Algorithm Reduces Total Collection Time Significantly

Program Verification
Parallel Computing
Software Testing
1 view
Theme background image
Computer Science
3 years ago

New garbage collection algorithm reduces data copying in object-oriented languages.

Parallel Computing
Computer Vision
Network Coding
Theme background image
Computer Science
8 years ago

Revolutionizing Prolog garbage collection for faster and more efficient systems!

Program Verification
Software Testing
Empirical Studies

The article discusses how to improve garbage collection in Prolog using the Warren abstract machine (WAM). The WAM is a common way to implement Prolog. The researchers show how to use marking and compaction algorithms with the WAM to make garbage collection more efficient. These algorithms can work on parts of the memory, reducing the time needed for garbage collection. By using pointer reversal techniques, they avoid needing extra memory space. Overall, the algorithms are fast and efficient, making Prolog systems run smoother.