Module: Dynamic Graph Programming