Generation of Efficient Programs for Solving Maximum Multi-Marking Problems

Isao Sasano,Zhenjiang Hu,Masato Takeichi

DOI: https://doi.org/10.1007/3-540-44806-3_5

2001-01-01

Abstract:Program generation has seen an important role in a wide range of software development processes, where effective calculation rules are critical. In this paper, we propose a more general calculation rule for generation of efficient programs for solving maximum marking problems. Easy to use and implement, our new rule gives a significant extension of the rule proposed by Sasano et al., allowing multiple kinds of marks as well as more general description of the property of acceptable markings. We illustrate its effectiveness using several interesting problems.