@PhdThesis{       Hunt91abstractinterpretation,
  Author        = "Hunt, Sebastian",
  date-added    = "2014-03-24 08:27:05 +0000",
  date-modified = "2014-03-24 08:27:11 +0000",
  Title         = "Abstract Interpretation of Functional Languages: From Theory to Practice",
  Year          = "1991",
  File          = "Abstract Interpretation of Functional Languages From Theory to Practice - Hunt (0) (0) - a - a - x.pdf"
}

@PhdThesis{ Hunt91abstractinterpretation, Author = "Hunt, Sebastian", date-added = "2014-03-24 08:27:05 +0000", date-modified = "2014-03-24 08:27:11 +0000", Title = "Abstract Interpretation of Functional Languages: From Theory to Practice", Year = "1991", File = "Abstract Interpretation of Functional Languages From Theory to Practice - Hunt (0) (0) - a - a - x.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge