Resource usage verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2895, Issue , 2003, Pages 212-229

  Marriott, Kim ^a   Stuckey, Peter J ^b   Sulzmann, Martin ^c  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE GRAMMARS; FINITE AUTOMATA;

COMPILE TIME; DETERMINISTIC FINITE STATE AUTOMATA; RESOURCE USAGE; RUN-TIME TESTS; SECOND PHASE; SEQUENCES OF OPERATIONS; STATE INFORMATION; THIRD PHASE;

SOFTWARE TESTING;

EID: 0344583792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_15     Document Type: Article

References (17)

1. Talpin, J., Jouvelot, P.: The type and effect discipline. In: Proc. of LICS'92, IEEE (1992) 162-173
2. ∼pjs/ruv.ps.gz.
3. Sudkamp, T.: Languages and Machines. Addison-Wesley (1988)
4. Schneider, F.B.: Enforceable security policies. Information and System Security 3 (2000) 30-50
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of POPL'77, ACM (1977) 238-252
6. Colcombet, T., Fradet, P.: Enforcing trace properties by program transformation. In: Proc. of POPL'00, ACM (2000) 54-66
7. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: Proc. of PLDI'01, ACM (2001) 59-69
8. Grossman, D., Morrisett, G., T. Jim, M.H., Wang, Y., Cheney, J.: Region-based memory management in cyclone. In: Proc. of PLDI'01, ACM (2001) 282-293
9. G. Tan, X.O., Walker, D.: Resource usage analysis via scoped methods. In: Foundations of Object-Oriented Languages (FOOL'10). (2003)
10. Igarashi, A., Kobayashi, N.: Resource usage analysis. In: Proc. of POPL'02, ACM (2002) 331-342
11. J. S. Foster, T.T., Aiken, A.: Flow-sensitive type qualifiers. In: Proc. of PLDI'02, ACM (2002) 1-12
12. Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: Proc. of PLDI'02, ACM (2002) 69-82
13. Das, M., Lerner, S., Seigle, M.: ESP: path-sensitive program verification in polynomial time. In: Proc. of PLDI'02, ACM (2002) 57-68
14. Chen, H., Wagner, D.: Mops: an infrastructure for examining security properties of software. In: Proc. of CCS'02. (2002) 235-244
15. Erlingsson, U., Schneider, F.B.: SASI enforcement of security policies: A retrospective. In: Proc. of the 1999 New Security Paradigm Workshop. (1999)
16. Walker, D.: A type system for expressive security policies. In: Proc. of POPL'00, ACM (2000) 254-267
17. Thiemann, P.: Enforcing safety properties using type specialization. In: Proc. of ESOP'01. Volume 2028 of LNCS., Springer (2001)