@inproceedings{DBLP:conf/sas/HankinMS92,
  author    = {Chris Hankin and
               Daniel Le M{\'{e}}tayer and
               David Sands},
  title     = {Transformation of Gamma Programs},
  booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992,
               Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings},
  pages     = {12--19},
  year      = {1992},
  crossref  = {DBLP:conf/sas/1992},
  timestamp = {Wed, 02 Sep 2015 09:01:51 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/sas/HankinMS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"XRzW24kE5swTXd8JE","bibbaseid":"hankin-mtayer-sands-transformationofgammaprograms-1992","downloads":0,"creationDate":"2017-02-03T08:36:24.306Z","title":"Transformation of Gamma Programs","author_short":["Hankin, C.","Métayer, D. L.","Sands, D."],"year":1992,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sands:David","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chris"],"propositions":[],"lastnames":["Hankin"],"suffixes":[]},{"firstnames":["Daniel","Le"],"propositions":[],"lastnames":["Métayer"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"Transformation of Gamma Programs","booktitle":"Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings","pages":"12--19","year":"1992","crossref":"DBLP:conf/sas/1992","timestamp":"Wed, 02 Sep 2015 09:01:51 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/sas/HankinMS92","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/sas/HankinMS92,\n author = {Chris Hankin and\n Daniel Le M{\\'{e}}tayer and\n David Sands},\n title = {Transformation of Gamma Programs},\n booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992,\n Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings},\n pages = {12--19},\n year = {1992},\n crossref = {DBLP:conf/sas/1992},\n timestamp = {Wed, 02 Sep 2015 09:01:51 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/sas/HankinMS92},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Hankin, C.","Métayer, D. L.","Sands, D."],"key":"DBLP:conf/sas/HankinMS92","id":"DBLP:conf/sas/HankinMS92","bibbaseid":"hankin-mtayer-sands-transformationofgammaprograms-1992","role":"author","urls":{},"downloads":0},"search_terms":["transformation","gamma","programs","hankin","métayer","sands"],"keywords":[],"authorIDs":[],"dataSources":["GciRpJR9wsHeLoGmf"]}