Allan L. Mennie, Glenn H. MacEwen. Information Flow Certification Using an Intermediate Code Program Representation. IEEE Trans. Software Eng., 7(6):594-607, 1981.
@article{MennieM81,
title = {Information Flow Certification Using an Intermediate Code Program Representation},
author = {Allan L. Mennie and Glenn H. MacEwen},
year = {1981},
tags = {intermediate representation, data-flow programming, data-flow, certification},
researchr = {https://researchr.org/publication/MennieM81},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {7},
number = {6},
pages = {594-607},
}