Semantic foundations for typed assembly languages.
Amal AhmedAndrew W. AppelChristopher D. RichardsKedar N. SwadiGang TanDaniel C. WangPublished in: ACM Trans. Program. Lang. Syst. (2010)
Keyphrases
- semantic information
- artificial intelligence
- higher order
- semantic annotation
- semantic network
- expressive power
- domain specific
- semantic similarity
- semantically meaningful
- intermediate representations
- semantic web
- domain independent
- language independent
- semantic knowledge
- semantically related
- low level
- neural network
- high level
- grammatical inference
- semantically equivalent