@InProceedings{ DimoulasWand-09,
  author = 	 {Christos Dimoulas and Mitchell Wand},
  title = 	 {The Higher-Order Aggregate Update Problem},
  abstract = {We present a multi-pass interprocedural 
analysis and transformation for the functional aggregate
update problem.  Our solution handles untyped programs, including
unrestricted closures and nested arrays.  Also, it can handle programs
that contain a mix of functional and destructive updates. Correctness of
all the analyses and of the transformation itself is proved.},
  URL  =         ftpdir # {wand-dimoulas-08.pdf},
  source = {~/papers/vmcai-09},
  booktitle =	 {Verification, Model Checking, and Abstract Interpretation, 10th International Conference},
  pages =	 {44-58},
  year =	 {2009},
  editor =	 {Neil D. Jones and Markus Muller-Olm},
  volume =	 {5403},
  OPTnumber = 	 {},
  series =	 lncs,
  address =	 springeraddr,
  month =	 jan,
  OPTorganization = {},
  publisher =	 springer,
  OPTnote = 	 {},
  OPTannote = 	 {}
}

{"_id":"KANdqvTFCrFAo3YWF","bibbaseid":"dimoulas-wand-thehigherorderaggregateupdateproblem-2009","downloads":0,"creationDate":"2017-04-23T20:31:12.633Z","title":"The Higher-Order Aggregate Update Problem","author_short":["Dimoulas, C.","Wand, M."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.ccs.neu.edu/home/wand/Bibliography.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christos"],"propositions":[],"lastnames":["Dimoulas"],"suffixes":[]},{"firstnames":["Mitchell"],"propositions":[],"lastnames":["Wand"],"suffixes":[]}],"title":"The Higher-Order Aggregate Update Problem","abstract":"We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestricted closures and nested arrays. Also, it can handle programs that contain a mix of functional and destructive updates. Correctness of all the analyses and of the transformation itself is proved.","url":"ftp://ftp.ccs.neu.edu/pub/people/wand/papers/wand-dimoulas-08.pdf","source":"~/papers/vmcai-09","booktitle":"Verification, Model Checking, and Abstract Interpretation, 10th International Conference","pages":"44-58","year":"2009","editor":[{"firstnames":["Neil","D."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["Markus"],"propositions":[],"lastnames":["Muller-Olm"],"suffixes":[]}],"volume":"5403","optnumber":"","series":"Lecture Notes in Computer Science","address":"Berlin, Heidelberg, and New York","month":"January","optorganization":"","publisher":"Springer-Verlag","optnote":"","optannote":"","bibtex":"@InProceedings{ DimoulasWand-09,\n author = \t {Christos Dimoulas and Mitchell Wand},\n title = \t {The Higher-Order Aggregate Update Problem},\n abstract = {We present a multi-pass interprocedural \nanalysis and transformation for the functional aggregate\nupdate problem. Our solution handles untyped programs, including\nunrestricted closures and nested arrays. Also, it can handle programs\nthat contain a mix of functional and destructive updates. Correctness of\nall the analyses and of the transformation itself is proved.},\n URL = ftpdir # {wand-dimoulas-08.pdf},\n source = {~/papers/vmcai-09},\n booktitle =\t {Verification, Model Checking, and Abstract Interpretation, 10th International Conference},\n pages =\t {44-58},\n year =\t {2009},\n editor =\t {Neil D. Jones and Markus Muller-Olm},\n volume =\t {5403},\n OPTnumber = \t {},\n series =\t lncs,\n address =\t springeraddr,\n month =\t jan,\n OPTorganization = {},\n publisher =\t springer,\n OPTnote = \t {},\n OPTannote = \t {}\n}\n\n","author_short":["Dimoulas, C.","Wand, M."],"editor_short":["Jones, N. D.","Muller-Olm, M."],"key":"DimoulasWand-09","id":"DimoulasWand-09","bibbaseid":"dimoulas-wand-thehigherorderaggregateupdateproblem-2009","role":"author","urls":{"Paper":"ftp://ftp.ccs.neu.edu/pub/people/wand/papers/wand-dimoulas-08.pdf"},"downloads":0,"html":""},"search_terms":["higher","order","aggregate","update","problem","dimoulas","wand"],"keywords":[],"authorIDs":[],"dataSources":["zM8mNPR4ZkAHKtvDs"]}