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
Works matching DE "COMPUTER software termination"
Results: 8
1
2
TERMINATION OF ABSTRACT REDUCTION SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 57, doi. 10.1142/S0129054109006450
- By:
- Publication type:
- Article
3
TERMINATION ANALYSIS OF LINEAR LOOPS.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 6, p. 1005, doi. 10.1142/S0129054110007696
- By:
- Publication type:
- Article
4
Termination proofs for linear simple loops.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 47, doi. 10.1007/s10009-013-0288-8
- By:
- Publication type:
- Article
5
Does indirect addressing matter?
- Published in:
- Acta Informatica, 2012, v. 49, n. 7/8, p. 485, doi. 10.1007/s00236-012-0171-1
- By:
- Publication type:
- Article
6
On Termination, Confluence and Consistent CHR-based Type Inference.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 619, doi. 10.1017/S1471068414000246
- By:
- Publication type:
- Article
7
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 1, p. 33, doi. 10.1017/S1471068410000025
- By:
- Publication type:
- Article
8
Efficient local unfolding with ancestor stacks.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 1, p. 1, doi. 10.1017/S1471068409990263
- By:
- Publication type:
- Article