Congruences for visibly pushdown languages

Lecture Notes in Computer Science

Volumn 3580, Issue , 2005, Pages 1102-1114

  Alur, Rajeev ^a   Kumar, Viraj ^b   Madhusudan, P ^b   Viswanathan, Mahesh ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PARAMETER ESTIMATION; POLYNOMIALS;

POLYNOMIAL TIME ALGORITHMS; VISIBLY PUSHDOWN LANGUAGES (VPL);

COMPUTER SCIENCE;

EID: 26444446962     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11523468_89     Document Type: Conference Paper

References (11)

1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of STOC '04, ACM Press (2004) 202-211
2. Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and returns. In: Proceedings of TACAS '04. LNCS 2988, Springer (2004) 467-481
3. Ball, T., Rajamani, S.: Bebop: A symbolic model checker for boolean programs. In: SPIN 2000 Workshop on Model Checking of Software. LNCS 1885. Springer (2000) 113-130
4. Pitcher, C.: Visibly pushdown expression effects for XML stream processing. In: Programming Language Technologies for XML. (2005) 1-14
5. Murawski, A., Walukiewicz, I.: Third-order idealized algol with iteration is decidable. In: FOSSACS. 3441 (2005) 202-218
6. Löding, C., Madhusudan, P., Serre, O.: Visibly pushdown games. In: Proceedings of FSTTCS'04. LNCS (2004)
7. Nerode, A.: Linear automaton transformations. In: Proc. AMS. Volume 9. (1958) 541-544
8. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison Wesley (1979)
9. Hopcroft, J.E.: An n log n algorithm for minimizing the states in a finite automaton. In: The Theory of Machines and Computations. Acad. Press (1971) 189-196
10. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannkakis, M.: Analysis of recursive state machines. ACM Transactions on Programming Languages and Systems (to appear) (2005)
11. Alur, R., Kumar, V., Madhusudan, P., Viswanathan, M.: Congruences for visibly pushdown languages. Technical Report UIUCDCS-R-2005-2565, UIUC (2005)