@article{EoYiCh2006,
   author = {Hyunjun Eo and Kwangkeun Yi and Kwangmoo Choe},
   title = {Static Extensivity Analysis for Lambda-definable Functions over Lattices},
   journal = {New Generation Computing},
   volume = {24},
   number = {1},
   pages = {53-78},
   year = {2006},
   category = {other-program-analyses},
   format = {ps},
}