{"_id":"Zi73HehSJCvhhMYeG","bibbaseid":"ancona-zucca-aformalframeworkforcompositionalcompilation-2007","author_short":["Ancona, D.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"editor":[{"firstnames":["Giuseppe","F."],"propositions":[],"lastnames":["Italiano"],"suffixes":[]},{"firstnames":["Eugenio"],"propositions":[],"lastnames":["Moggi"],"suffixes":[]},{"firstnames":["Luigi"],"propositions":[],"lastnames":["Laura"],"suffixes":[]}],"title":"A formal framework for compositional compilation","booktitle":"Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings","pages":"106–117","publisher":"World Scientific","year":"2007","timestamp":"Wed, 11 Jun 2008 08:55:26 +0200","biburl":"https://dblp.org/rec/conf/ictcs/AnconaZ07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ictcs/AnconaZ07,\n author = {Davide Ancona and\n Elena Zucca},\n editor = {Giuseppe F. Italiano and\n Eugenio Moggi and\n Luigi Laura},\n title = {A formal framework for compositional compilation},\n booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,\n Rome, Italy, October 3-5, 2007, Proceedings},\n pages = {106--117},\n publisher = {World Scientific},\n year = {2007},\n timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},\n biburl = {https://dblp.org/rec/conf/ictcs/AnconaZ07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Zucca, E."],"editor_short":["Italiano, G. F.","Moggi, E.","Laura, L."],"key":"DBLP:conf/ictcs/AnconaZ07","id":"DBLP:conf/ictcs/AnconaZ07","bibbaseid":"ancona-zucca-aformalframeworkforcompositionalcompilation-2007","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["hbmDF3mowSFP7RzLi","NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["formal","framework","compositional","compilation","ancona","zucca"],"title":"A formal framework for compositional compilation","year":2007}