메뉴 건너뛰기




Volumn , Issue , 2003, Pages 170-179

Fast symbolic evaluation of C/C++ preprocessing using conditional values

Author keywords

[No Author keywords available]

Indexed keywords

COMPILE TIME; CONDITIONAL EXPRESSIONS; FEASIBILITY ANALYSIS; FREE VARIABLE; LINES OF CODE; NEW APPROACHES; SYMBOLIC EVALUATION; TIME COMPLEXITY;

EID: 0347781243     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2003.1192425     Document Type: Conference Paper
Times cited : (16)

References (11)
  • 1
    • 0024108615 scopus 로고
    • Symbolic execution systems-A review
    • November
    • P. D. Coward. Symbolic execution systems-a review. Software Engineering Journal, pages 229-239, November 1988.
    • (1988) Software Engineering Journal , pp. 229-239
    • Coward, P.D.1
  • 2
    • 84884715303 scopus 로고    scopus 로고
    • URL: www. iro. umontreal. ca/gambit/
    • M. Feeley. Gambit Web Page. URL: www. iro. umontreal. ca/gambit/.
    • Gambit Web Page
    • Feeley, M.1
  • 3
    • 3042732479 scopus 로고    scopus 로고
    • Translation of conditional compilation
    • Spring
    • M. Harsu. Translation of conditional compilation. Nordic Journal of Computing, 6(1), Spring 1999.
    • (1999) Nordic Journal of Computing , vol.6 , Issue.1
    • Harsu, M.1
  • 5
    • 0003250977 scopus 로고    scopus 로고
    • Revised5 report on the algorithmic language Scheme
    • (Editors)
    • R. Kelsey, W. Clinger, and J. R. (Editors). Revised5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9):26-76, 1998.
    • (1998) ACM SIGPLAN Notices , vol.33 , Issue.9 , pp. 26-76
    • Kelsey, W.1    Clinger, R.R.J.2
  • 6
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • July
    • J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 7
    • 0027961188 scopus 로고
    • On the inference of configuration structures from source code
    • Gausstrasse 17, D-38092 Braunschweig, Deutschland
    • M. Krone and G. Snelting. On the inference of configuration structures from source code. Technical Report 93-06, Gausstrasse 17, D-38092 Braunschweig, Deutschland, 1994.
    • (1994) Technical Report 93-06
    • Krone, M.1    Snelting, G.2
  • 8
    • 3042731334 scopus 로고    scopus 로고
    • Fachberichte Informatik 7-2001, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz
    • B. Kullbach and V. Riediger. Folding: An Approach to Enable Program Understanding of Preprocessed Languages. Fachberichte Informatik 7-2001, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2001.
    • (2001) Folding: An Approach to Enable Program Understanding of Preprocessed Languages
    • Kullbach, B.1    Riediger, V.2
  • 9
    • 0028721217 scopus 로고
    • Understanding code containing preprocessor constructs
    • Washington, DC, USA, November 14-15
    • P. Livadas and D. Small. Understanding code containing preprocessor constructs. In IEEE Third Workshop on Program Comprehension, pages 89-97, Washington, DC, USA, November 14-15, 1994.
    • (1994) IEEE Third Workshop on Program Comprehension , pp. 89-97
    • Livadas, P.1    Small, D.2
  • 10
    • 0033098667 scopus 로고    scopus 로고
    • Harissa: A hybrid approach to Java execution
    • G. Muller and U. P. Schultz. Harissa: A hybrid approach to Java execution. IEEE Software, 16(2):44-51, 1999.
    • (1999) IEEE Software , vol.16 , Issue.2 , pp. 44-51
    • Muller, G.1    Schultz, U.P.2
  • 11
    • 84864362755 scopus 로고
    • Ifdef considered harmful, or portability experience with c news
    • June
    • H. Spencer and G. Collyer. ifdef considered harmful, or portability experience with c news. In Summer '92 USENIX, pages 185-198, June 1992.
    • (1992) Summer '92 USENIX , pp. 185-198
    • Spencer, H.1    Collyer, G.2


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