Semantic program alignment for equivalence checking.
Berkeley R. ChurchillOded PadonRahul SharmaAlex AikenPublished in: PLDI (2019)
Keyphrases
- semantically equivalent
- logical representation
- semantic information
- semantically meaningful
- image alignment
- dynamic time warping
- semantic network
- domain independent
- high level
- semantic annotation
- static analysis
- computer programs
- database
- higher level
- semantic web technologies
- domain specific
- sequence alignment
- low level features
- semantic knowledge
- semantic representation
- low level
- semantically related
- program execution
- domain knowledge
- test cases