Login / Signup
While Loop Demonic Semantics Monotype/Residual Style.
Fairouz Tchier
Published in:
Software Engineering Research and Practice (2003)
Keyphrases
</>
feedback loop
formal semantics
logic programming
semantic representation
real time
real world
nonmonotonic logics
semantic information
conceptual model
specification language
transformation rules
residual error
authorship attribution