%0 Conference Paper %1 conf/lopstr/CornishGNSSS14 %A Cornish, J. Robert M. %A Gange, Graeme %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B LOPSTR %D 2014 %E Proietti, Maurizio %E Seki, Hirohisa %I Springer %K dblp %P 3-20 %T Analyzing Array Manipulating Programs by Program Transformation. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2014.html#CornishGNSSS14 %V 8981 %@ 978-3-319-17821-9

@inproceedings{conf/lopstr/CornishGNSSS14, added-at = {2020-06-15T00:00:00.000+0200}, author = {Cornish, J. Robert M. and Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2fd458c6aff17b6f37c244594acfe2f68/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2014}, editor = {Proietti, Maurizio and Seki, Hirohisa}, ee = {https://www.wikidata.org/entity/Q57664995}, interhash = {ceb9bd85a718a5ada5a1966ca9f3eb6c}, intrahash = {fd458c6aff17b6f37c244594acfe2f68}, isbn = {978-3-319-17821-9}, keywords = {dblp}, pages = {3-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:11:39.000+0200}, title = {Analyzing Array Manipulating Programs by Program Transformation.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2014.html#CornishGNSSS14}, volume = 8981, year = 2014 }