Detecting Global Variables in Denotational Specifications

David A. Schmidt. Detecting Global Variables in Denotational Specifications. ACM Transactions on Programming Languages and Systems, 7(2):299-310, 1985. [doi]

Abstract

Abstract is missing.