Generation of efficient programs for solving maximum multi-marking problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 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 languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages72-91
Number of pages20
Volume2196
ISBN (Print)3540425586, 9783540425588
Publication statusPublished - 2001
Externally publishedYes
Event2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001 - Florence, Italy
Duration: 2001 Sep 62001 Sep 6

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2196
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other2nd International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001
CountryItaly
CityFlorence
Period01/9/601/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.