SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.
Shuvendu K. LahiriChris HawblitzelMing KawaguchiHenrique RebêloPublished in: CAV (2012)
Keyphrases
- imperative programs
- natural language
- dynamic logic
- context dependent
- semantically equivalent
- semantic representations
- programming language
- conceptual graphs
- language learning
- semantic web
- semantic constraints
- linguistic analysis
- scripting language
- semantic analysis
- machine learning
- semantic structure
- hierarchical data
- semantic information
- artificial intelligence