Abstract Interpretation for C

Collapse
This topic is closed.
X
X
Collapse
 
  • Page of 1
  • Time
  • Show
Clear All
new posts
Previous template Next
  • Tim Frink
    #1

    Abstract Interpretation for C

    Hi,

    I'm looking for any references about Abstract Interpretation
    applied to the language C. More precisely, I'm interested
    in the abstract domain for C, i.e. how the full set of
    C operations can be modeled as abstract operations.

    Do you know any publications/books or Internet resources
    concerning this topic? (I did not find anything on google.)

    Best regards,
    Tim

    Tags: None
    • jacob navia
      #2
      Re: Abstract Interpretation for C

      Tim Frink wrote:
      Hi,
      >
      I'm looking for any references about Abstract Interpretation
      applied to the language C. More precisely, I'm interested
      in the abstract domain for C, i.e. how the full set of
      C operations can be modeled as abstract operations.
      >
      Do you know any publications/books or Internet resources
      concerning this topic? (I did not find anything on google.)
      >
      Best regards,
      Tim
      >
      Interesting. Maybe you could specify for the non initiated what do you
      understand by "abstract operation" ?

      Thanks

        Comment

        • Tim Frink
          #3
          Re: Abstract Interpretation for C

          On Wed, 19 Sep 2007 09:54:45 +0200, jacob navia wrote:
          >
          Interesting. Maybe you could specify for the non initiated what do you
          understand by "abstract operation" ?
          Operations from the concrete language semantic (like C operator
          "*=") transformed into an abstract semantic.

            Comment

            • Walter Roberson
              #4
              Re: Abstract Interpretation for C

              In article <pan.2007.09.19 .07.31.35.66352 2@yahoo.de>,
              Tim Frink <plfriko@yahoo. dewrote:
              >I'm looking for any references about Abstract Interpretation
              >applied to the language C. More precisely, I'm interested
              >in the abstract domain for C, i.e. how the full set of
              >C operations can be modeled as abstract operations.
              Would you say that you are looking for a Denotational Semantics
              analysis of C?
              --
              "law -- it's a commodity"
              -- Andrew Ryan (The Globe and Mail, 2005/11/26)

                Comment

                • Keith Thompson
                  #5
                  Re: Abstract Interpretation for C

                  Tim Frink <plfriko@yahoo. dewrites:
                  On Wed, 19 Sep 2007 09:54:45 +0200, jacob navia wrote:
                  >>
                  >Interesting. Maybe you could specify for the non initiated what do you
                  >understand by "abstract operation" ?
                  >
                  Operations from the concrete language semantic (like C operator
                  "*=") transformed into an abstract semantic.
                  Okay, what is an "abstract semantic"?

                  Don't expect everyone here to understand what you mean by "abstract",
                  other than its ordinary English meaning. We understand C; we don't
                  necessarily understand the field of study whose terminology you're
                  using. If you can provide a pointer to something that explains it, we
                  might be able to help.

                  --
                  Keith Thompson (The_Other_Keit h) kst-u@mib.org <http://www.ghoti.net/~kst>
                  San Diego Supercomputer Center <* <http://users.sdsc.edu/~kst>
                  "We must do something. This is something. Therefore, we must do this."
                  -- Antony Jay and Jonathan Lynn, "Yes Minister"

                    Comment

                    Previous template Next
                    Working...