A translator with a security static analysis feature of an information flow for a simple programming language
Antoshina, E. Ju., Barakova, A. N., Nikitin, E. S., Chalyy, D. Ju.Volume:
48
Language:
english
Journal:
Automatic Control and Computer Sciences
DOI:
10.3103/S0146411614070177
Date:
December, 2014
File:
PDF, 136 KB
english, 2014