%0 Journal Article %1 journals/tcs/Preoteasa09 %A Preoteasa, Viorel %D 2009 %J Theor. Comput. Sci. %K dblp %N 42 %P 4216-4233 %T Frame rule for mutually recursive procedures manipulating pointers. %U http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#Preoteasa09 %V 410

@article{journals/tcs/Preoteasa09, added-at = {2021-02-17T00:00:00.000+0100}, author = {Preoteasa, Viorel}, biburl = {https://www.bibsonomy.org/bibtex/2ca149a00d5a7bdf38c1c18ef8d9a80af/dblp}, ee = {https://doi.org/10.1016/j.tcs.2009.05.016}, interhash = {998b208e62549e76f88f782cff934569}, intrahash = {ca149a00d5a7bdf38c1c18ef8d9a80af}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 42, pages = {4216-4233}, timestamp = {2024-04-08T18:46:44.000+0200}, title = {Frame rule for mutually recursive procedures manipulating pointers.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#Preoteasa09}, volume = 410, year = 2009 }