文献
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)