文献

J-GLOBAL ID：201202253048583671   整理番号：12A1545121

SYMDIFF:命令型プログラムのための言語不可知論的意味差違ツール

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs

著者 (4件)： LAHIRI Shuvendu K. (Microsoft Res., WA, USA) ,  HAWBLITZEL Chris (Microsoft Res., WA, USA) ,  KAWAGUCHI Ming (Univ. California, San Diego) ,  REBELO Henrique (Federal Univ. Pernambuco, BRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7358  ページ： 712-717  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 命令 ,  言語 ,  意味 ,  差違 ,  ツール