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


Bibliographic Information

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

Search this article


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.


Citations (1)*help

See more


See more

Related Projects

See more


Report a problem

Back to top