A denotational framework for data flow analysis

• 1 December 1982
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 18  (3)
• https://doi.org/10.1007/bf00263194

Abstract