Semantic theories of programs with nested interrupts.
Yanhong HuangJifeng HeHuibiao ZhuYongxin ZhaoJianqi ShiShengchao QinPublished in: Frontiers Comput. Sci. (2015)
Keyphrases
- semantic web
- semantic information
- semantic similarity
- semantic level
- semantic search
- domain specific
- context dependent
- semantic network
- semantically related
- databases
- computer programs
- conceptual graphs
- normal form
- semantic content
- semantic knowledge
- semantically rich
- semantically equivalent
- compositional semantics
- semantic relationships
- semantic annotation
- description logics
- knowledge management
- relational databases
- similarity measure
- database systems
- high level
- artificial intelligence
- genetic algorithm
- neural network