Frédéric Prost. On the semantics of non-interference type-based analysis. In Pierre Castéran, editor, Journées francophones des langages applicatifs (JFLA 01), Pontarlier, France, Janvier, 2001. Collection Didactique, pages 97-112, INRIA, 2001.
@inproceedings{Prost01,
title = {On the semantics of non-interference type-based analysis},
author = {Frédéric Prost},
year = {2001},
tags = {semantics, rule-based, analysis},
researchr = {https://researchr.org/publication/Prost01},
cites = {0},
citedby = {0},
pages = {97-112},
booktitle = {Journées francophones des langages applicatifs (JFLA 01), Pontarlier, France, Janvier, 2001},
editor = {Pierre Castéran},
series = {Collection Didactique},
publisher = {INRIA},
isbn = {2-7261-1154-8},
}