@Article{         Rosendahl,
  Author        = "Rosendahl, Mads",
  date-added    = "2014-03-06 19:53:16 +0000",
  date-modified = "2017-04-14 06:36:07 +0000",
  EPrint        = "1309.5133",
  Keywords      = "chaotic iteration and readme",
  Month         = "09",
  Title         = "Abstract Interpretation as a Programming Language",
  URL           = "http://arxiv.org/abs/1309.5133",
  Year          = "2013",
  bdsk-url-1    = "http://akira.ruc.dk/\textasciitilde madsr/fixpoint/",
  bdsk-url-2    = "http://arxiv.org/abs/1309.5133",
  File          = "Abstract Interpretation as a Programming Language - Rosendahl (0) (0) - a - a - q.pdf"
}

@Article{ Rosendahl, Author = "Rosendahl, Mads", date-added = "2014-03-06 19:53:16 +0000", date-modified = "2017-04-14 06:36:07 +0000", EPrint = "1309.5133", Keywords = "chaotic iteration and readme", Month = "09", Title = "Abstract Interpretation as a Programming Language", URL = "http://arxiv.org/abs/1309.5133", Year = "2013", bdsk-url-1 = "http://akira.ruc.dk/\textasciitilde madsr/fixpoint/", bdsk-url-2 = "http://arxiv.org/abs/1309.5133", File = "Abstract Interpretation as a Programming Language - Rosendahl (0) (0) - a - a - q.pdf" }