Derivation of Efficient DAG Marking Algorithms

Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä. Derivation of Efficient DAG Marking Algorithms. In Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. pages 20-27, 1983.

Abstract

Abstract is missing.