|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
Information Flow for ALGOL-like Languages
Clark, David and Hunt, Sebastian and Hankin, Chris (2002) Information Flow for ALGOL-like Languages. Computer Languages, 28 (1). pp. 3-28.
In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.
Repository Staff Only: item control page