Generation of Efficient Programs for Solving Maximum Multi-marking Problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi. Generation of Efficient Programs for Solving Maximum Multi-marking Problems. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Volume 2196 of Lecture Notes in Computer Science, pages 72-91, Springer, 2001. [doi]