文献
J-GLOBAL ID:200902128252436365
整理番号:93A0820874
条件付活性分析を用いたタイプ状態チェック法の拡張
Extending Typestate Checking Using Conditional Liveness Analysis.
著者 (2件):
STROM R E
(IBM T.J. Watson Research Center, NY)
,
YELLIN D M
(IBM T.J. Watson Research Center, NY)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
19
号:
5
ページ:
478-485
発行年:
1993年05月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)