Register | Log in | FAQ      [?] 

Tag abstract-interpretation [24 articles]

Recent papers classified by the tag abstract-interpretation.
  • Computing polynomial program invariants
    Information Processing Letters, Vol. 91, No. 5. (15 September 2004), pp. 233-244.
    by Markus Muller-Olm, Helmut Seidl
    posted to abstract-interpretation program-analysis program-correctness program-invariants by tuncay on 2007-10-20 00:17:41 as **
  • Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation
    (1994), pp. 388-393.
    by Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi
    posted to abstract-interpretation bottom-up logic-programming by tuncay on 2007-10-19 23:26:11 as read
  • 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 pedagand on 2008-05-16 15:32:21 as ** along with 6 people and 1 group eaubin andymaule pganty srccheck _Anne_ zuleger groupverif
  • Types as abstract interpretations
    (1997), pp. 316-331.
    by Patrick Cousot
    posted to abstract-interpretation types by pedagand on 2008-05-16 15:31:05 as ** along with 2 people and 1 group draganigajic KarlKlose Lambda the Ultimate
  • An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
    Verification, Model Checking, and Abstract Interpretation (January 2007), pp. 268-282.
    by Mathias Péron, Nicolas Halbwachs
    posted to static-analysis disequality difference-bound-matrices abstract-interpretation by mperon on 2008-10-03 10:45:42 as read
  • Discovering Properties about Arrays in Simple Programs
    Programming Language Design and Implementation (June 2008), pp. 339-348.
    by Nicolas Halbwachs, Mathias Péron
    posted to static-analysis sorting-algorithm quantified-property array abstract-interpretation by mperon on 2008-10-03 10:52:29 as read
  • Data flow analysis is model checking of abstract interpretations
    (1998), pp. 38-48.
    by David A Schmidt
    posted to abstract-interpretation model-checking by Mikejones on 2005-11-03 23:01:17 as read along with 6 people eaubin wasi msakai bunge keigoi zuleger
  • Information flow analysis in logical form
    (2004)
    by T Amtoft, A Banerjee
    posted to abstract-interpretation by JacquesC on 2005-01-21 01:40:26 as ** along with 2 people and 1 group gchpaco aysubetincan NU-PRL
  • Generalized symbolic execution for model checking and testing
    (2003)
    by S Khurshid, C Pasareanu, W Visser
    posted to abstract-interpretation symbolic-execution by JacquesC on 2005-01-21 01:38:36 as **** along with 1 person and 1 group gchpaco NU-PRL
  • Abstract Interpretation of the pi-Calculus
    (1997), pp. 51-75.
    by Arnaud Venet
    posted to abstract-interpretation cfa concurrency pi-calculus by dherman to the group NU-PRL on 2004-12-25 21:46:46
  • Automatic discovery of linear restraints among variables of a program
    (1978), pp. 84-96.
    by Patrick Cousot, Nicolas Halbwachs
    posted to abstract-interpretation by eaubin on 2005-03-11 04:56:14 as ** along with 3 people and 1 group pganty bunge srccheck groupverif
  • Measuring the Precision of Abstract Interpretations
    (2001), pp. 147-164.
    by Alessandra Di Pierro, Herbert Wiklicky
    posted to abstract-interpretation by bunge on 2008-08-27 17:19:37 as read
  • Trace-Based Abstract Interpretation of Operational Semantics
    LISP and Symbolic Computation, Vol. 10, No. 3. (1 May 1998), pp. 237-271.
    by David A Schmidt
    posted to abstract-interpretation hardcopy by bunge on 2007-05-22 21:57:58 as read
  • Abstract Interpretation Based Formal Methods and Future Challenges
    Lecture Notes in Computer Science, Vol. 2000 (January 2001), 138.
    by Patrick Cousot
    posted to abstract-interpretation program-analysis by bunge on 2006-07-06 20:43:59 as **** along with 1 person bec
  • Flow analysis and optimization of LISP-like structures
    (1979), pp. 244-256.
    by Neil D Jones, Steven S Muchnick
    posted to abstract-interpretation hardcopy plq-techniques program-analysis shape-analysis by bunge on 2006-09-22 19:12:40 as read
  • Abstract interpretation: a semantics-based tool for program analysis
    (1995), pp. 527-636.
    by Neil D Jones, Flemming Nielson
    posted to abstract-interpretation hardcopy by bunge on 2007-08-15 18:22:53 as ** along with 1 person mercutio
  • Introduction to Lattices and Order
    (18 April 2002)
    by BA Davey, HA Priestley
    posted to abstract-interpretation lattice by bunge on 2006-07-07 23:06:32 as ***** along with 5 people BarrosH sirvio BenWiedermann brecknell zuleger
  • Systematic design of program analysis frameworks
    (1979), pp. 269-282.
    by Patrick Cousot, Radhia Cousot
    posted to abstract-interpretation by bunge on 2007-03-31 00:10:48 as ** along with 2 people and 1 group surana pganty groupverif
  • notes 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 narrowing widening by bunge on 2006-07-05 20:14:29 as ***** along with 1 person zuleger
  • Improving flow analyses via &\#915;CFA: abstract garbage collection and counting
    SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 13-25.
    by Matthew Might, Olin Shivers
    posted to abstract-interpretation control-flow hardcopy by bunge on 2007-08-13 21:45:08 as read
  • Interprocedural may-alias analysis for pointers: beyond $k$-limiting
    ACM SIG\-PLAN Notices, Vol. 29, No. 6. (1994), pp. 230-241.
    by Alain Deutsch
    posted to abstract-interpretation hardcopy plq-techniques shape-analysis by bunge on 2006-11-10 20:47:53 as read
  • Formal language, grammar and set-constraint-based program analysis by abstract interpretation
    (1995), pp. 170-181.
    by Patrick Cousot, Radhia Cousot
    posted to abstract-interpretation hardcopy shape-analysis by bunge on 2007-08-27 21:10:15 as **
  • notes Building Certified Static Analysers by Modular Construction of Well-founded Lattices
    Electron. Notes Theor. Comput. Sci., Vol. 212 (2008), pp. 225-239.
    by David Pichardie
    posted to abstract-interpretation coq formal-verification by _Anne_ on 2008-07-15 08:22:18 as read
  • The ASTREÉ Analyzer
    Programming Languages and Systems (2005), pp. 21-30.
    by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract-interpretation c-language program-analysis by _Anne_ on 2008-06-05 15:49:24 as read along with 2 people srccheck zuleger
    • Note: You may cite this page as: 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.