The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer.
Neil D. JonesRené Rydhof HansenPublished in: APLAS (2007)
Keyphrases
- semantically equivalent
- semantic information
- programming language
- semantic relationships
- semantic representation
- programming language constructs
- computer programs
- semantic interpretation
- semantic models
- transformation rules
- semantic properties
- high level semantics
- semantic structure
- semantic knowledge
- semantic aspects
- semantic web
- semantic representations
- action descriptions
- control flow
- conceptual graphs
- declarative semantics
- semantic annotation
- semantic descriptions
- operational semantics
- semantic constraints
- image patches
- logic programming
- topic maps
- semantic meaning
- semantic description
- formal semantics
- current web
- logical representation
- natural language understanding
- wordnet
- intermediate representations
- natural language