Generation of efficient programs for solving maximum multi-marking problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi

研究成果: Conference contribution

8 被引用数 (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
出版ステータスPublished - 2001
外部発表はい
イベント2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 - Florence, Italy
継続期間: 2001 9 62001 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

Other2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001
国/地域Italy
CityFlorence
Period01/9/601/9/6

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Generation of efficient programs for solving maximum multi-marking problems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル