Provenance as dependency analysis.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1301, doi. 10.1017/S0960129511000211
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2011 AND VI 21 AND IP 6
Results: 9
1
2
MSC volume 21 issue 6 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. b1, doi. 10.1017/S0960129511000624
- Publication type:
- Article
3
MSC volume 21 issue 6 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. f1, doi. 10.1017/S0960129511000612
- Publication type:
- Article
4
On the computational complexity of dynamic slicing problems for program schemas.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1339, doi. 10.1017/S0960129511000223
- By:
- Publication type:
- Article
5
Foreword: programming language interference and dependence.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1109, doi. 10.1017/S0960129511000168
- By:
- Publication type:
- Article
6
Secure information flow by self-composition.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1207, doi. 10.1017/S0960129511000193
- By:
- Publication type:
- Article
7
Non-termination and secure information flow.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1183, doi. 10.1017/S0960129511000181
- By:
- Publication type:
- Article
8
Non-disclosure for distributed mobile code.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1111, doi. 10.1017/S096012951100017X
- By:
- Publication type:
- Article
9
Modelling declassification policies using abstract domain completeness.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1253, doi. 10.1017/S096012951100020X
- By:
- Publication type:
- Article