Execution Semantics for rCOS.

Zheng Wang Xiao Yu Geguang Pu Libo Feng Huibiao Zhu Jifeng He

Published in: APSEC (2008)

Keyphrases

control flow
formal semantics
active rules
schema mappings
databases
information retrieval
expert systems
logic programming
conceptual model
data flow
data sets
semantic information
plan generation
execution model