Static analysis of logical languages with deferred update semantics | IEEE Journals & Magazine | IEEE Xplore