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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.