Stack size analysis for interrupt-driven programs

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

Volumn 2694, Issue , 2003, Pages 109-126

  Chatterjee, Krishnendu ^a   Ma, Di ^b   Majumdar, Rupak ^a   Zhao, Tian ^c   Henzinger, Thomas A ^a   Palsberg, Jens ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PURDUE UNIVERSITY   (United States)

^c UNIVERSITY OF WISCONSIN MILWAUKEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; POLYNOMIAL APPROXIMATION;

BOUNDEDNESS; EXPONENTIAL TIME; INTERRUPT HANDLING; POLYNOMIAL-TIME; PROGRAMMING ERRORS; PSPACE-COMPLETE; REAL-TIME APPLICATION; SIZE ANALYSIS;

STATIC ANALYSIS;

EID: 35248833041     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44898-5_7     Document Type: Article

References (8)

1. D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In ICSE: International Conference on Software Engineering, pp. 47-56. ACM/IEEE, 2001.
2. J. Hughes, L. Pareto, and A. Sabry. Proving the correctness of reactive systems using sized types. In POPL: Principles of Programming Languages, pp. 410-423. ACM, 1996.
3. J. Palsberg and D. Ma. A typed interrupt calculus. In FTRTFT: Formal Techniques in Real-Time and Fault-tolerant Systems, LNCS 2469, pp. 291-310. Springer, 2002.
4. C. Papadimitriou. Computational Complexity. Addision-Wesley, 1994.
5. L. Pareto. Types for Crash Prevention. PhD thesis, Chalmers University of Technology, 2000.
6. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL: Principles of Programming Languages, pp. 49-61. ACM, 1995.
7. Z. Wan, W. Taha, and P. Hudak. Event-driven FRP. In PADL: Practical Aspects of Declarative Languages, LNCS 2257, pp. 155-172. Springer, 2002.
8. M. Yannakakis. Graph-theoretic methods in database theory. In PODS: Principles of Database Systems, pp. 203-242. ACM, 1990.