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
Generation of efficient programs for solving maximum multi-marking problems. / Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2196 Springer Verlag, 2001. p. 72-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2196).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Generation of efficient programs for solving maximum multi-marking problems
AU - Sasano, Isao
AU - Hu, Zhenjiang
AU - Takeichi, Masato
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
KW - Algorithm synthesis
KW - Functional programming
KW - Maximum marking problem
KW - Optimization problem
KW - Program generation rule
UR - http://www.scopus.com/inward/record.url?scp=84937420167&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84937420167&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84937420167
SN - 3540425586
SN - 9783540425588
VL - 2196
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 72
EP - 91
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
ER -