Entry Collard:1995:FAD from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Collard:1995:FAD,
  author =       "Jean-Fran{\c{c}}ois Collard and Denis Barthou and Paul
                 Feautrier",
  title =        "Fuzzy array dataflow analysis",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "8",
  pages =        "92--101",
  month =        aug,
  year =         "1995",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:17:08 MST 2003",
  bibsource =    "http://portal.acm.org/",
  abstract =     "Exact array dataflow analysis can be achieved in the
                 general case if the only control structures are
                 do-loops and structural ifs, and if loop counter bounds
                 and array subscripts are affine expressions of
                 englobing loop counters and possibly some integer
                 constants. In this paper, we begin the study of
                 dataflow analysis of dynamic control programs, where
                 arbitrary ifs and whiles are allowed. In the general
                 case, this dataflow analysis can only be fuzzy.",
  acknowledgement = ack-nhfb,
  affiliation =  "ENS, Lyon, France",
  classification = "C4240 (Programming and algorithm theory); C6110
                 (Systems analysis and programming); C6120 (File
                 organisation)",
  keywords =     "Affine expressions; Arbitrary ifs; Arbitrary whiles;
                 Array subscripts; Control structures; Do-loops; Dynamic
                 control programs; Englobing loop counters; Fuzzy array
                 dataflow analysis; Integer constants; Loop counter
                 bounds; Structural ifs",
  thesaurus =    "Arrays; Data flow analysis; Data structures; Fuzzy
                 logic; Program control structures; Programming theory",
}

Related entries