On the Recognition of Algorithm Templates

On the Recognition of Algorithm Templates. Alias, C. & Barthou, D. In Knoop, J. & Zimmermann, W., editors, Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, volume 82, of Electronic Notes in Theoretical Computer Science, pages 395–409, 2003. Elsevier.

Paper doi bibtex

@inproceedings{DBLP:journals/entcs/AliasB03,
  author       = {Christophe Alias and
                  Denis Barthou},
  editor       = {Jens Knoop and
                  Wolf Zimmermann},
  title        = {On the Recognition of Algorithm Templates},
  booktitle    = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
                  Warsaw, Poland, April 12, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {2},
  pages        = {395--409},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82599-X},
  doi          = {10.1016/S1571-0661(05)82599-X},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AliasB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"6DnRkW2dQGZqdZZzw","bibbaseid":"alias-barthou-ontherecognitionofalgorithmtemplates-2003","authorIDs":["gH8cyowDfvmpgEymM"],"author_short":["Alias, C.","Barthou, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christophe"],"propositions":[],"lastnames":["Alias"],"suffixes":[]},{"firstnames":["Denis"],"propositions":[],"lastnames":["Barthou"],"suffixes":[]}],"editor":[{"firstnames":["Jens"],"propositions":[],"lastnames":["Knoop"],"suffixes":[]},{"firstnames":["Wolf"],"propositions":[],"lastnames":["Zimmermann"],"suffixes":[]}],"title":"On the Recognition of Algorithm Templates","booktitle":"Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003","series":"Electronic Notes in Theoretical Computer Science","volume":"82","number":"2","pages":"395–409","publisher":"Elsevier","year":"2003","url":"https://doi.org/10.1016/S1571-0661(05)82599-X","doi":"10.1016/S1571-0661(05)82599-X","timestamp":"Sun, 06 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/entcs/AliasB03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/entcs/AliasB03,\n author = {Christophe Alias and\n Denis Barthou},\n editor = {Jens Knoop and\n Wolf Zimmermann},\n title = {On the Recognition of Algorithm Templates},\n booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,\n Warsaw, Poland, April 12, 2003},\n series = {Electronic Notes in Theoretical Computer Science},\n volume = {82},\n number = {2},\n pages = {395--409},\n publisher = {Elsevier},\n year = {2003},\n url = {https://doi.org/10.1016/S1571-0661(05)82599-X},\n doi = {10.1016/S1571-0661(05)82599-X},\n timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/entcs/AliasB03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alias, C.","Barthou, D."],"editor_short":["Knoop, J.","Zimmermann, W."],"key":"DBLP:journals/entcs/AliasB03","id":"DBLP:journals/entcs/AliasB03","bibbaseid":"alias-barthou-ontherecognitionofalgorithmtemplates-2003","role":"author","urls":{"Paper":"https://doi.org/10.1016/S1571-0661(05)82599-X"},"metadata":{"authorlinks":{"barthou, d":"https://bibbase.org/show?bib=https://dblp.org/pid/66/2364.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/66/2364.bib","creationDate":"2020-09-28T15:09:27.355Z","downloads":0,"keywords":[],"search_terms":["recognition","algorithm","templates","alias","barthou"],"title":"On the Recognition of Algorithm Templates","year":2003,"dataSources":["QzYnA59epiHCud8Xh"]}