文献
J-GLOBAL ID:201202208750891125
整理番号:12A1306833
有限状態実行時モニタの事前の部分的評価
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
著者 (3件):
BODDEN Eric
(Technische Univ. Darmstadt)
,
LAM Patrick
(Univ. Waterloo)
,
HENDREN Laurie
(McGill Univ.)
資料名:
ACM Transactions on Programming Languages and Systems
(ACM Transactions on Programming Languages and Systems)
巻:
34
号:
2
ページ:
7:1-7:52
発行年:
2012年06月
JST資料番号:
C0139B
ISSN:
0164-0925
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)