Information theoretical analysis of bounded and unbounded channels in programming languages /
Malacaria, Pasquale.
University of London.Queen Mary.Department of Computer Science.
London : Queen Mary, University of London,
2006.
"June 2006"--Cover.
Includes bibliographical references.
Computer security.
Programming languages (Electronic computers)