%0 Conference Paper %1 conf/dagstuhl/Bowen91 %A Bowen, Jonathan P. %B Code Generation %D 1991 %K Prolog code compilation formal logic methods myown object programming programs %P 173-192 %T From Programs to Object Code using Logic and Logic Programming. %U http://dblp.uni-trier.de/db/conf/dagstuhl/code1991.html#Bowen91

@inproceedings{conf/dagstuhl/Bowen91, added-at = {2011-08-02T00:41:44.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/200d741d653e2b1c22850500a3f59294f/jpbowen}, booktitle = {Code Generation}, description = {dblp}, interhash = {7d716341304785f016f057c4aa5a553f}, intrahash = {00d741d653e2b1c22850500a3f59294f}, keywords = {Prolog code compilation formal logic methods myown object programming programs}, pages = {173-192}, timestamp = {2011-08-02T00:41:44.000+0200}, title = {From Programs to Object Code using Logic and Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/code1991.html#Bowen91}, year = 1991 }