Predicative semantics of loops.

Theodore S. Norvell

Published in: Algorithmic Languages and Calculi (1997)

Keyphrases

formal semantics
database
information systems
semantic information
logical language
databases
real world
semantic representation
operational semantics
transformation rules
proof theory
argumentation semantics