Propagation of Constants and Assertions.

Alexander Sakharov

Published in: ACM SIGPLAN Notices (1994)

Keyphrases

knowledge base
wave propagation
multi agent
mobile devices
dynamic programming
propagation model