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

IR IR (HANDLE) Web Site 1 Citations 9 References Open Access

Bibliographic Information

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

Search this article

Description

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

Keywords

Details 詳細情報について

Report a problem

Back to top