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

srccheck's abstract_interpretation [12 articles]

Recent papers added to srccheck's library classified by the tag abstract_interpretation. You can also see everyone's abstract_interpretation.
  • Definition and Implementation of a Points-To Analysis for C-like Languages
    (4 Oct 2008)
    by Stefano Soffia
    posted to thesis alias_analysis abstract_interpretation by srccheck on 2008-10-07 15:24:46 as **
  • Lecture Notes on Static Analysis
    (2008)
    by Michael I Schwartzbach
    posted to static_analysis introduction abstract_interpretation by srccheck on 2008-05-16 12:49:12 as **** along with 2 people olesya bdanilov
  • The octagon abstract domain
    Higher Order Symbol. Comput., Vol. 19, No. 1. (March 2006), pp. 31-100.
    by Antoine Miné
    posted to abstract_interpretation linear_restrictions 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 abstract_interpretation linear_restrictions by srccheck on 2008-05-14 13:50:59 as read along with 4 people and 1 group pedagand 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 abstract_interpretation linear_restrictions by srccheck on 2008-05-14 13:48:37 as *
  • 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
  • Generating precise and concise procedure summaries
    (2008), pp. 221-234.
    by Greta Yorsh, Eran Yahav, Satish Chandra
    posted to abstract_interpretation modular_analysis null_pointer popl08 summary_analysis symbolic_analysis typestate by srccheck on 2008-02-20 13:45:53 as read
  • 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 7 people and 1 group bdanilov eaubin andymaule pganty pedagand _Anne_ zuleger 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 2 people _Anne_ zuleger
  • 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 ** along with 1 person zuleger
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/abstract_interpretation

    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.