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

srccheck abstract_interpretation [10 articles]

Recent papers added to srccheck library classified by the tag abstract_interpretation. You can also see everyone's abstract_interpretation.
  • The octagon abstract domain
    Higher Order Symbol. Comput., Vol. 19, No. 1. (March 2006), pp. 31-100.
    by Antoine Miné
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:59:32 as read
  • Automatic discovery of linear restraints among variables of a program
    (1978), pp. 84-96.
    by Patrick Cousot, Nicolas Halbwachs
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:50:59 as read along with 3 people and 1 group eaubin pganty bunge groupverif
  • Precise widening operators for convex polyhedra
    Science of Computer Programming, Vol. 58, No. 1-2. (October 2005), pp. 28-56.
    by Roberto Bagnara, Patricia M Hill, Elisa Ricci, Enea Zaffanella
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:48:37 as *
  • Notes on graph algorithms used in optimizing compilers
    (1995)
    by C Offner
    posted to graphs dataflow_analysis control_flow_analysis algorithms abstract_interpretation by srccheck on 2008-05-06 08:23:07 as read
  • Generating precise and concise procedure summaries
    (2008), pp. 221-234.
    by Greta Yorsh, Eran Yahav, Satish Chandra
    posted to typestate symbolic_analysis summary_analysis popl08 null_pointer modular_analysis abstract_interpretation by srccheck on 2008-02-20 13:45:53 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 ***
  • Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
    (1977), pp. 238-252.
    by Patrick Cousot, Radhia Cousot
    posted to abstract_interpretation seminal by srccheck on 2008-02-08 14:09:27 as read along with 5 people and 1 group _Anne_ pedagand eaubin andymaule pganty groupverif
  • An empirical study on classification methods for alarms from a bug-finding static C analyzer
    Inf. Process. Lett., Vol. 102, No. 2-3. (2007), pp. 118-123.
    by Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim
    posted to abstract_interpretation airac by srccheck on 2008-02-08 13:54:14 as read
  • The ASTRÉE Analyzer
    Programming Languages and Systems, Vol. 3444/2005 (2005), pp. 21-30.
    by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract_interpretation astree toplas05 by srccheck on 2008-02-08 13:33:38 as ** along with 1 person _Anne_
  • A static analyzer for large safety-critical software
    (2003), pp. 196-207.
    by Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract_interpretation astree pldi03 tools by srccheck on 2008-02-08 13:29:44 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/srccheck/tag/abstract_interpretation

    RIS BibTeX RSS
    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.