Defining an Enhanced RTL Semantics.

Shuqing Zhao Daniel D. Gajski

Published in: DATE (2005)

Keyphrases

semantic information
formal semantics
logic programming
high level
nonmonotonic logics
proof theory
real time
information retrieval
information systems
object oriented