%0 Journal Article %1 journals/fac/JifengB94 %A He, Jifeng %A Bowen, Jonathan P. %D 1994 %J Formal Asp. Comput. %K compiler formal methods myown optimization prototyping specification verification %N 6 %P 643-658 %T Specification, Verification and Prototyping of an Optimized Compiler. %U http://dblp.uni-trier.de/db/journals/fac/fac6.html#JifengB94 %V 6

@article{journals/fac/JifengB94, added-at = {2011-08-02T00:31:29.000+0200}, author = {He, Jifeng and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/222a6b12510e81755a32d262940fa5522/jpbowen}, description = {dblp}, interhash = {2e39fb6697fcf72d8f6d2cb807c23f7e}, intrahash = {22a6b12510e81755a32d262940fa5522}, journal = {Formal Asp. Comput.}, keywords = {compiler formal methods myown optimization prototyping specification verification}, number = 6, pages = {643-658}, timestamp = {2011-08-02T00:31:30.000+0200}, title = {Specification, Verification and Prototyping of an Optimized Compiler.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac6.html#JifengB94}, volume = 6, year = 1994 }