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.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Publisher | Springer Verlag |
| Pages | 72-91 |
| Number of pages | 20 |
| Volume | 2196 |
| ISBN (Print) | 3540425586, 9783540425588 |
| Publication status | Published - 2001 |
| Externally published | Yes |
| Event | 2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 - Florence, Italy Duration: 2001 Sep 6 → 2001 Sep 6 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2196 |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Other
| Other | 2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 |
|---|---|
| Country | Italy |
| City | Florence |
| Period | 01/9/6 → 01/9/6 |
Fingerprint
Keywords
- Algorithm synthesis
- Functional programming
- Maximum marking problem
- Optimization problem
- Program generation rule
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
Sasano, I., Hu, Z., & Takeichi, M. (2001). Generation of efficient programs for solving maximum multi-marking problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2196, pp. 72-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2196). Springer Verlag.