Generation of efficient programs for solving maximum multi-marking problems

Isao Sasano; Zhenjiang Hu; Masato Takeichi

doi:10.1007/3-540-44806-3_5

Generation of efficient programs for solving maximum multi-marking problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Citations (Scopus)

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	Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings
Editors	Walid Taha
Publisher	Springer Verlag
Pages	72-91
Number of pages	20
ISBN (Electronic)	3540425586, 9783540425588
DOIs	https://doi.org/10.1007/3-540-44806-3_5
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)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001
Country/Territory	Italy
City	Florence
Period	01/9/6 → 01/9/6

Keywords

Algorithm synthesis
Functional programming
Maximum marking problem
Optimization problem
Program generation rule

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-44806-3_5

Cite this

Sasano, I., Hu, Z., & Takeichi, M. (2001). Generation of efficient programs for solving maximum multi-marking problems. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings (pp. 72-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2196). Springer Verlag. https://doi.org/10.1007/3-540-44806-3_5

Generation of efficient programs for solving maximum multi-marking problems. / Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato.

Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. ed. / Walid Taha. 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

Sasano, I, Hu, Z & Takeichi, M 2001, Generation of efficient programs for solving maximum multi-marking problems. in W Taha (ed.), Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2196, Springer Verlag, pp. 72-91, 2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001, Florence, Italy, 01/9/6. https://doi.org/10.1007/3-540-44806-3_5

Sasano I, Hu Z, Takeichi M. Generation of efficient programs for solving maximum multi-marking problems. In Taha W, editor, Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. Springer Verlag. 2001. p. 72-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-44806-3_5

Sasano, Isao ; Hu, Zhenjiang ; Takeichi, Masato. / Generation of efficient programs for solving maximum multi-marking problems. Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. editor / Walid Taha. Springer Verlag, 2001. pp. 72-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d4c544f8ebad40048b33b0ac7b134121,

title = "Generation of efficient programs for solving maximum multi-marking problems",

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.",

keywords = "Algorithm synthesis, Functional programming, Maximum marking problem, Optimization problem, Program generation rule",

author = "Isao Sasano and Zhenjiang Hu and Masato Takeichi",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 ; Conference date: 06-09-2001 Through 06-09-2001",

year = "2001",

doi = "10.1007/3-540-44806-3_5",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "72--91",

editor = "Walid Taha",

booktitle = "Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings",

}

TY - GEN

T1 - Generation of efficient programs for solving maximum multi-marking problems

AU - Sasano, Isao

AU - Hu, Zhenjiang

AU - Takeichi, Masato

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2001.

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

U2 - 10.1007/3-540-44806-3_5

DO - 10.1007/3-540-44806-3_5

M3 - Conference contribution

AN - SCOPUS:84937420167

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 72

EP - 91

BT - Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings

A2 - Taha, Walid

PB - Springer Verlag

T2 - 2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001

Y2 - 6 September 2001 through 6 September 2001

ER -

Generation of efficient programs for solving maximum multi-marking problems

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this