文献

J-GLOBAL ID：200902271826067794   整理番号：09A0989957

命令型プログラムの自動終了解析に対する項書き換えアプローチ

A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs

著者 (2件)： FALKE Stephan (Univ. New Mexico, NM, USA) ,  KAPUR Deepak (Univ. New Mexico, NM, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 5663  ページ： 277-293  発行年： 2009年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 命令 ,  解析 ,  書き換え