Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di rakingleaves library [8 articles]

Articoli aggiunti di recente nella biblioteca di rakingleaves .
  • Precise interprocedural dataflow analysis via graph reachability
    (1995), pp. 49-61.
    by Thomas Reps, Susan Horwitz, Mooly Sagiv
  • The Runtime Structure of Object Ownership
    (2006)
    by Nick Mitchell
    posted to dynamic-analysis ownership by rakingleaves on 2006-05-26 19:14:15 as ****
  • A Dynamic Analysis for Revealing Object Ownership and Sharing
    (May 2006)
    by Derek Rayside, Lucy Mendel, Daniel Jackson
    posted to dynamic-analysis ownership by rakingleaves on 2006-05-26 19:09:54 as read
  • Path Optimization in Programs and its Application to Debugging
    (2006)
    by A Lal, J Lim, M Polishchuk, B Liblit
    posted to debugging program-analysis by rakingleaves on 2006-01-31 22:29:17 as *** along with 1 person V
  • Predicate Dispatching: A Unified Theory of Dispatch
    (1998), pp. 186-211.
    by Michael Ernst, Craig Kaplan, Craig Chambers
    posted to language-design method-dispatch by rakingleaves on 2006-01-31 00:38:43 as read
  • Recency-Abstraction for Heap-Allocated Storage
    posted to pointer-analysis program-analysis by rakingleaves on 2006-01-26 06:02:04 as ***
  • Points-to analysis for Java using annotated constraints
    SIGPLAN Not., Vol. 36, No. 11. (November 2001), pp. 43-55.
    by Atanas Rountev, Ana Milanova, Barbara G Ryder
    posted to pointer-analysis by rakingleaves on 2006-01-21 18:30:11 as read
  • Efficient and precise datarace detection for multithreaded object-oriented programs
    Vol. 37, No. 5. (May 2002), pp. 258-269.
    by Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
    posted to dynamic-analysis race-detection by rakingleaves on 2006-01-20 20:28:53 as read
  • Puoi citare questa pagina come: http://www.citeulike.org/user/rakingleaves

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.