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
- Tweet
Details 詳細情報について
-
- CRID
- 1390001288085110016
-
- NII Article ID
- 130007505235
- 110003743970
-
- NII Book ID
- AN10075819
-
- NDL BIB ID
- 4159378
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed