Analysis of Simple Programs Over Different Sets of Primitives

A. J. Kfoury. Analysis of Simple Programs Over Different Sets of Primitives. In POPL. pages 56-61, 1980.

Abstract

Abstract is missing.