%0 Journal Article %1 journals/tplp/DuckJY18 %A Duck, Gregory J. %A Jaffar, Joxan %A Yap, Roland H. C. %D 2018 %J Theory Pract. Log. Program. %K dblp %N 3-4 %P 470-483 %T Shape Neutral Analysis of Graph-based Data-structures. %U http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#DuckJY18 %V 18

@article{journals/tplp/DuckJY18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Duck, Gregory J. and Jaffar, Joxan and Yap, Roland H. C.}, biburl = {https://www.bibsonomy.org/bibtex/2c3cd25b05fe6f954ce55b5d7ed67e2ac/dblp}, ee = {https://doi.org/10.1017/S147106841800025X}, interhash = {1fc63495d5a89723f43ff5980bd6e9ae}, intrahash = {c3cd25b05fe6f954ce55b5d7ed67e2ac}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {3-4}, pages = {470-483}, timestamp = {2024-04-09T05:34:36.000+0200}, title = {Shape Neutral Analysis of Graph-based Data-structures.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#DuckJY18}, volume = 18, year = 2018 }