文献

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)

タイトルに関連する用語 (2件)： モニタ ,  評価