K Semantics for Assembly Languages: A Case Study.
Mihail AsavoaePublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- highly expressive
- formal semantics
- expressive power
- knowledge representation languages
- logic programming
- formal language
- database languages
- databases
- database query languages
- cross lingual
- semantic information
- language independent
- test bed
- specification languages
- language identification
- constraint language
- database systems
- case study
- data sets