Ability for Description of an Incremental Programming Method Base on Abstract Interpretation (ISDR)

  • Yoshioka Nobukazu
    School of Information Science Japan Advanced Institute of Science and Technology
  • Suzuki Masato
    School of Information Science Japan Advanced Institute of Science and Technology
  • Katayama Takuya
    School of Information Science Japan Advanced Institute of Science and Technology

Bibliographic Information

Other Title
  • 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
  • チュウショウ カイシャク ニ モトズク ダンカイテキ プログラム コウセイホウ

Search this article

Abstract

<p></p>

Journal

  • Computer Software

    Computer Software 14 (2), 2_189-2_193, 1997-03-17

    Japan Society for Software Science and Technology

References(5)*help

See more

Details 詳細情報について

Report a problem

Back to top