Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.

Chiara Bodei Pierpaolo Degano Corrado Priami

Published in: SAS (1998)

Keyphrases

abstract interpretation
active rules
termination analysis
database systems
high level
logic programming
data exchange
active databases
formal semantics