메뉴 건너뛰기




Volumn 3855 LNCS, Issue , 2006, Pages 95-110

Detecting non-cyclicity by abstract compilation into boolean functions

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; C (PROGRAMMING LANGUAGE); DATA ACQUISITION; INFORMATION DISSEMINATION; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; PROGRAM COMPILERS; SEMANTICS;

EID: 33745647551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (22)

References (11)
  • 1
    • 0001609012 scopus 로고
    • Reasoning about termination of pure prolog programs
    • September
    • K. R. Apt and D. Pedreschi, Reasoning about Termination of Pure Prolog Programs. Information and Computation, 106(1):109-157, September 1993.
    • (1993) Information and Computation , vol.106 , Issue.1 , pp. 109-157
    • Apt, K.R.1    Pedreschi, D.2
  • 4
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35(8):677-691, 1986.
    • (1986) IEEE Transactions on Computers , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 5
    • 0000911801 scopus 로고
    • Abstract interpretation and applications to logic programs
    • P. Cousot and R. Cousot. Abstract Interpretation and Applications to Logic Programs, Journal of Logic Programming, 13(2 & 3):103-179, 1992.
    • (1992) Journal of Logic Programming , vol.13 , Issue.2-3 , pp. 103-179
    • Cousot, P.1    Cousot, R.2
  • 8
    • 33646023195 scopus 로고    scopus 로고
    • Pair-sharing analysis of object-oriented programs
    • C. Hankin and I. Siveroni, editors, Static Analysis Symposium (SAS), London, UK
    • S. Secci and F. Spoto. Pair-Sharing Analysis of Object-Oriented Programs. In C. Hankin and I. Siveroni, editors, Static Analysis Symposium (SAS), volume 3672 of Lecture Notes in Computer Science, pages 320-335, London, UK, 2005.
    • (2005) Lecture Notes in Computer Science , vol.3672 , pp. 320-335
    • Secci, S.1    Spoto, F.2
  • 9
    • 0029717388 scopus 로고    scopus 로고
    • Points-to analysis in almost linear time
    • St. Petersburg Beach, Florida, USA, January
    • Bjarne Steensgaard. Points-to Analysis in Almost Linear Time. In Principles of Programming Languages (POPL), pages 32-41, St. Petersburg Beach, Florida, USA, January 1996.
    • (1996) Principles of Programming Languages (POPL) , pp. 32-41
    • Steensgaard, B.1
  • 10
    • 37049005338 scopus 로고    scopus 로고
    • Shape analysis and applications
    • Y. N. Srikant and P. Shankar, editors, CRC Press
    • R. Wilhelm, T. W. Reps, and S. Sagiv. Shape Analysis and Applications. In Y. N. Srikant and P. Shankar, editors, The Compiler Design Handbook, pages 175-218. CRC Press, 2002.
    • (2002) The Compiler Design Handbook , pp. 175-218
    • Wilhelm, R.1    Reps, T.W.2    Sagiv, S.3


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