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

研究成果: Conference contribution

9 被引用数 (Scopus)

抄録

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.

本文言語	English
ホスト出版物のタイトル	Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings
編集者	Walid Taha
出版社	Springer Verlag
ページ	72-91
ページ数	20
ISBN（電子版）	3540425586, 9783540425588
DOI	https://doi.org/10.1007/3-540-44806-3_5
出版ステータス	Published - 2001
外部発表	はい
イベント	2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 - Florence, Italy 継続期間: 2001 9月 6 → 2001 9月 6

出版物シリーズ

名前	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻	2196
ISSN（印刷版）	0302-9743
ISSN（電子版）	1611-3349

Other

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

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1007/3-540-44806-3_5

他のファイルとリンク

引用スタイル

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).

研究成果: 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)). doi: 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

抄録

出版物シリーズ

Other

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル