[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

プログラム生成系GeneSysにおける等式仕様への否定の導入

Bibliographic Information

Other Title
  • プログラム セイセイケイ GeneSys ニ オケル トウシキ シヨウ エノ ヒテイ ノ ドウニュウ
  • Extending program-generation system GeneSys for allowing negation in equational specifications

Search this article

Abstract

Program-Generation System GeneSys has been proposed, which generated executable programs from first order equational specifications without negation. In this paper, we extend conversion rules of GeneSys in order to handle formulas with negation, and show a program-generation example from a specification with negation. We also propose new conversion rules related to negation and give a example that indicates benefits of the new rules.

Journal

Citations (1)*help

See more

References(9)*help

See more

Related Projects

See more

Details

Report a problem

Back to top