Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck algorithms [6 articles]

Recent papers added to srccheck library classified by the tag algorithms. You can also see everyone's algorithms.
  • Efficiently computing static single assignment form and the control dependence graph
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
    by Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
    posted to algorithms seminal ssa by srccheck on 2008-06-05 12:27:47 as read along with 7 people plaugg pejo martink pjdonald olesya sby zuleger
  • Notes on graph algorithms used in optimizing compilers
    (1995)
    by C Offner
    posted to abstract_interpretation algorithms control_flow_analysis dataflow_analysis graphs by srccheck on 2008-05-06 08:23:07 as read
  • Efficient field-sensitive pointer analysis of C
    ACM Trans. Program. Lang. Syst., Vol. 30, No. 1. (November 2007)
    by David J Pearce, Paul HJ Kelly, Chris Hankin
    posted to algorithms alias_analysis context_insensitive flow_insensitive review toplas07 by srccheck on 2008-02-20 15:10:34 as **
  • Demand-driven alias analysis for C
    (2008), pp. 197-208.
    by Xin Zheng, Radu Rugina
    posted to algorithms alias_analysis cfl demand_driven popl08 by srccheck on 2008-02-20 13:37:38 as ***
  • Logic-flow analysis of higher-order programs
    (2007), pp. 185-198.
    by Matthew Might
    posted to abstract_interpretation algorithms dataflow_analysis popl07 by srccheck on 2008-02-20 12:59:37 as ***
  • Precise Interprocedural Dataflow Analysis via Graph Reachability
    (1995), pp. 49-61.
    by Thomas Reps, Susan Horwitz, Mooly Sagiv
    posted to algorithms cfl context_sensitive dataflow_analysis popl95 by srccheck on 2008-02-20 12:28:18 as ****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/srccheck/tag/algorithms

    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.