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

Ключевое слово abstract_interpretation [20 articles]

Recent papers classified by the tag abstract_interpretation.
  • The ASTREÉ Analyzer
    Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, Vol. 3444 (2005), pp. 21-30.
    by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract_interpretation static_program_analysis by zuleger on 2008-08-28 13:36:00 as read along with 2 people srccheck _Anne_
  • 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 by zuleger on 2008-07-28 10:21:19 as read along with 6 people and 1 group eaubin andymaule pganty srccheck pedagand _Anne_ groupverif
  • A unified approach to global program optimization
    (1973), pp. 194-206.
    by Gary A Kildall
    posted to abstract_interpretation by zuleger on 2008-07-28 10:20:07 as ** along with 4 people and 1 group bdauvergne pganty bunge clconway groupverif
  • Principles of Program Analysis
    (1999)
    by Flemming Nielson, Hanne R Nielson, Chris Hankin
    posted to abstract_interpretation by zuleger on 2008-07-28 10:22:14 as ** along with 1 person plaugg
  • Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
    (1992), pp. 269 -295.
    by P Cousot, R Cousot
    edited by M Bruynooghe, M Wirsing
    posted to abstract_interpretation by zuleger on 2008-07-28 12:09:05 as ** along with 1 person bunge
  • Efficient chaotic iteration strategies with widenings
    Vol. 735 (1993), pp. 128-141.
    by Francois Bourdoncle
    posted to abstract_interpretation by zuleger on 2008-08-16 17:07:19 as **
  • Combining abstract interpreters
    (2006), pp. 376-386.
    by Sumit Gulwani, Ashish Tiwari
    posted to abstract_interpretation by zuleger on 2008-08-06 17:28:40 as ***
  • Joining dataflow with predicates
    SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (September 2005), pp. 227-236.
    by Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
    posted to abstract_interpretation dataflow_analysis by zuleger on 2008-08-07 17:52:49 as **
  • Configurable software verification: Concretizing the convergence of model checking and program analysis
    Vol. 4590 (2007), pp. 504-518.
    by Dirk Beyer, Thomas A Henzinger, Grégory Théoduloz
    posted to abstract_interpretation model_checking by zuleger on 2008-08-05 10:57:17 as read
  • 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 static_program_analysis by zuleger on 2008-07-28 10:33:34 as read along with 1 person srccheck
  • Data flow analysis is model checking of abstract interpretations
    (1998), pp. 38-48.
    by David A Schmidt
    posted to abstract_interpretation dataflow_analysis model_checking by zuleger on 2008-08-07 12:49:47 as ** along with 6 people eaubin wasi Mikejones msakai bunge keigoi
  • Bebop: a path-sensitive interprocedural dataflow engine
    (2001), pp. 97-103.
    by Thomas Ball, Sriram K Rajamani
    posted to abstract_interpretation model_checking by zuleger on 2008-07-28 10:24:23 as ** along with 1 person shimomura
  • 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
  • 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 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 abstract_interpretation linear_restrictions by srccheck on 2008-05-14 13:48:37 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 ***
  • 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
  • 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
  • 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
  • Symbolic implementation of the best transformer
    (2004)
    by T Reps, M Sagiv, G Yorsh
    posted to abstract_interpretation by rgrig on 2005-12-15 08:12:55 as ** along with 1 group SRG_at_UCD
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/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.