@PhdThesis{       might2007diss,
  Author        = "Might, Matthew",
  date-added    = "2013-06-13 11:52:20 +0000",
  date-modified = "2013-06-13 11:53:26 +0000",
  Keywords      = "control-flow analysis",
  Month         = "June",
  School        = "Georgia Institute of Technology",
  Title         = "Environment Analysis of Higher-Order Languages",
  Year          = "2007",
  File          = "Environment Analysis of Higher-Order Languages - Might (0) (0) - a - a - k.pdf",
  file-2        = "Environment Analysis of Higher-Order Languages - Might (1) (0) - a - a - k.pdf"
}

@PhdThesis{ might2007diss, Author = "Might, Matthew", date-added = "2013-06-13 11:52:20 +0000", date-modified = "2013-06-13 11:53:26 +0000", Keywords = "control-flow analysis", Month = "June", School = "Georgia Institute of Technology", Title = "Environment Analysis of Higher-Order Languages", Year = "2007", File = "Environment Analysis of Higher-Order Languages - Might (0) (0) - a - a - k.pdf", file-2 = "Environment Analysis of Higher-Order Languages - Might (1) (0) - a - a - k.pdf" }