메뉴 건너뛰기




Volumn 2404, Issue , 2002, Pages 539-554

Extrapolating tree transformations

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER AIDED ANALYSIS; DATA FLOW ANALYSIS; FORESTRY; ITERATIVE METHODS; MODEL CHECKING; TRANSDUCERS;

EID: 84937573421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45657-0_46     Document Type: Conference Paper
Times cited : (37)

References (28)
  • 2
    • 84863933189 scopus 로고    scopus 로고
    • On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels
    • P. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels. In CAV’98. LNCS 1427, 1998. 553
    • (1998) In CAV’98. LNCS , vol.1427 , pp. 553
    • Abdulla, P.1    Bouajjani, A.2    Jonsson, B.3
  • 6
    • 67649451135 scopus 로고    scopus 로고
    • Permutation Rewriting and Algorithmic Verification. In LICS’01
    • A. Bouajjani, A. Muscholl, and T. Touili. Permutation Rewriting and Algorithmic Verification. In LICS’01. IEEE, 2001. 539, 553
    • (2001) IEEE , vol.539 , pp. 553
    • Bouajjani, A.1    Muscholl, A.2    Touili, T.3
  • 7
    • 33845680224 scopus 로고    scopus 로고
    • Languages, Rewriting systems, and Verification of Infinte-State Systems
    • invited paper. 539
    • A. Bouajjani. Languages, Rewriting systems, and Verification of Infinte-State Systems. In ICALP’01. LNCS 2076, 2001. invited paper. 539
    • (2001) In ICALP’01. LNCS 2076
    • Bouajjani, A.1
  • 10
    • 35248897454 scopus 로고    scopus 로고
    • Tree automata with one memory, set constraints and ping-pong protocols
    • H. Comon, V. Cortier, and J. Mitchell. Tree automata with one memory, set constraints and ping-pong protocols. In ICALP’2001. LNCS 2076, 2001. 553
    • (2001) In ICALP’2001. LNCS 2076 , pp. 553
    • Comon, H.1    Cortier, V.2    Mitchell, J.3
  • 12
    • 84947707419 scopus 로고
    • Verifying parameterised networks using abstraction and regular languages
    • 549
    • E. M. Clarke, O. Grumberg, and S. Jha. Verifying parameterised networks using abstraction and regular languages. Lecture Notes in Computer Science, 962:395–407, 1995. 549
    • (1995) Lecture Notes in Computer Science , vol.962 , pp. 395-407
    • Clarke, E.M.1    Grumberg, O.2    Jha, S.3
  • 13
    • 0002575820 scopus 로고
    • Automatic discovery of linear restraints among variables of a program
    • Patrick Cousot and Nicholas Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL’78. ACM, 1978. 542
    • (1978) In POPL’78. ACM , pp. 542
    • Cousot, P.1    Halbwachs, N.2
  • 15
    • 33745656232 scopus 로고    scopus 로고
    • An automata-theoretic approach to interpro-cedural data-flow analysis
    • J. Esparza and J. Knoop. An automata-theoretic approach to interpro-cedural data-flow analysis. In FOSSACS’99, volume LNCS 1578, 1999. 541
    • (1999) In FOSSACS’99, Volume LNCS , vol.1578 , pp. 541
    • Esparza, J.1    Knoop, J.2
  • 16
    • 0000988941 scopus 로고
    • Bottom-up and top-down tree transformations – a comparison
    • Joost Engelfriet. Bottom-up and top-down tree transformations – a comparison. In Mathematical Systems Theory, volume 9(3), 1975. 544
    • (1975) In Mathematical Systems Theory , vol.9 , Issue.3 , pp. 544
    • Engelfriet, J.1
  • 17
    • 0033698872 scopus 로고    scopus 로고
    • Efficient algorithms for pre * and post * on interprocedural parallel flow graphs
    • 542, 551
    • Javier Esparza and Andreas Podelski. Efficient algorithms for pre * and post * on interprocedural parallel flow graphs. In Symposium on Principles of Programming Languages, pages 1–11, 2000. 542, 551
    • (2000) In Symposium on Principles of Programming Languages , pp. 1-11
    • Esparza, J.1    Podelski, A.2
  • 18
    • 0003941815 scopus 로고    scopus 로고
    • Reachability sets of parametrized rings as regular languages
    • n Infinity’97, Elsevier Science
    • L. Fribourg and H. Olsen. Reachability sets of parametrized rings as regular languages. In Infinity’97. volume 9 of Electronical Notes in Theoretical Computer Science. Elsevier Science, 1997. 547
    • (1997) Electronical Notes in Theoretical Computer Science , vol.9 , pp. 547
    • Fribourg, L.1    Olsen, H.2
  • 20
    • 84974751548 scopus 로고
    • Regular tree languages and rewrite systems
    • 542, 552
    • R. Gilleron and S. Tison. Regular tree languages and rewrite systems. In Fundamenta Informaticae, volume 24, pages 157–175, 1995. 542, 552
    • (1995) In Fundamenta Informaticae , vol.24 , pp. 157-175
    • Gilleron, R.1    Tison, S.2
  • 21
    • 0000541261 scopus 로고    scopus 로고
    • Transitive closures of regular relations for verifying infinite-state systems
    • B. Jonsson and M. Nilsson. Transitive closures of regular relations for verifying infinite-state systems. In TACAS’ 00. LNCS, 2000. 540, 542
    • (2000) In TACAS’ 00. LNCS , vol.540 , pp. 542
    • Jonsson, B.1    Nilsson, M.2
  • 22
    • 84947424451 scopus 로고    scopus 로고
    • Symbolic model checking with rich assertional languages
    • In O. Grumberg, editor
    • Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar. Symbolic model checking with rich assertional languages. In O. Grumberg, editor, Proc. CAV’97, volume 1254 of LNCS, pages 424–435. Springer, 1997. 539, 542, 547
    • (1997) Proc. CAV’97, Volume 1254 of LNCS , vol.539 , Issue.542 , pp. 424-435
    • Kesten, Y.1    Maler, O.2    Marcus, M.3    Pnueli, A.4    Shahar, E.5
  • 25
    • 84858747028 scopus 로고    scopus 로고
    • Abstracting cryptographic protocols with tree automata
    • D. Monniaux. Abstracting cryptographic protocols with tree automata. Science of Computer Programming, 2002. 553
    • (2002) Science of Computer Programming , pp. 553
    • Monniaux, D.1
  • 26
    • 33845635553 scopus 로고    scopus 로고
    • Liveness and acceleration in parametrized verification. In CAV’00
    • A. Pnueli and E. Shahar. Liveness and acceleration in parametrized verification. In CAV’00. LNCS, 2000. 540, 542
    • (2000) LNCS , vol.540 , pp. 542
    • Pnueli, A.1    Shahar, E.2
  • 28
    • 84858751796 scopus 로고    scopus 로고
    • Verifying systems with infinite but regular stae spaces
    • Pierre Wolper and Bernard Boigelot. Verifying systems with infinite but regular stae spaces. In CAV’98. LNCS 1254, 1998. 539
    • (1998) In CAV’98. LNCS 1254 , pp. 539
    • Wolper, P.1    Boigelot, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.