@inproceedings{DBLP:conf/tacas/VaziriJ03,
  author    = {Mandana Vaziri and
               Daniel Jackson},
  title     = {Checking Properties of Heap-Manipulating Procedures with
               a Constraint Solver},
  booktitle = {Tools and Algorithms for the Construction and Analysis
                  of Systems, 9th International Conference, TACAS
                  2003, Proceedings},
  year      = {2003},
  pages     = {505-520},
url_paper={pubs/2003/checkingHMPs.pdf}
}

{"_id":{"_str":"534217f8ecd21cdc070001f9"},"__v":2,"authorIDs":["3LtDBjykYTfLgDvhe","3rvsRRGBas6kykTji","5456dee58b01c8193000000f","5de9764d768c31df010000f8","5dea12f5b5dcc6df01000008","5debf379188b03df01000026","5ded5835a49d79de01000176","5dede0070e26d5de01000108","5df5fbafa37a40df01000090","5df89f0c10b1d1de010000a0","5df8bd28e6b510df010000d3","5df8f5a9277e45de01000173","5df91cbf2e8c31df010001f8","5dfac0ab5481b4de010000f1","5dfbb985f6f0aede01000102","5e047815db7916df01000046","5e06ef372eda19df0100008f","5e0d0d959ecb35de0100004f","5e0d551aae5827df010000c0","5e139fd60d0b99de01000070","5e161b76f67f7dde010004e4","5e193ee886b4aade01000046","5e1bb30a61cb16df010000ad","5e1fe99d14d3c9de01000013","5e24ba981a6264de0100011f","5e27418d557b88de01000232","5e28ac1f88416fde010001f5","5e290ff7a8eed2df0100005c","5e2a83a9881468de0100008b","5e2db987732e89de010000b9","5e2fdf024e91a9df01000068","5e32f184c1389bde010000e2","5e4804f3d4b913df0100001a","5e59ff616ef27ddf010000ca","5e5a2962990a84ee01000043","5e60067c13e3aede01000108","5e6089fb1fc211de0100005c","5e616469417d19de01000040","5e66e89085689bf301000052","5tGFpYtzpj9Amev8K","6Qc2mF2ybyMLv79Yd","7mNiQvF8dCC4mcbyg","83AenT2p7GTgaLWqW","9oHYbWatttwcuEWd4","AL49L6o2RMMZhC7k2","B5tLtHqDLXPnjmBbx","BJsJgYbADkdjYgGMw","EEfJxs3sqmAw9P3Ep","GtkDDnXm4fivjfHfw","GxSQ4aoG6dS77cpk5","HAoGi6yG8CTRZ6EHK","HsNaccqjSTv9HQk4H","JK4dRTFeD2eX9DaKf","LHJDSyLkCBdiNEKX3","Q43FmPiyiRcGHtA2h","QKeWoBkJdzZTP7cFM","R4yqgCpoj8i7hF5HX","RHCK3Gux7dHuuMLeu","S78HueuEGsoBmFPiu","W9iFpdgbFvtCkgeYW","WLr8ho4DHkGqoK4tN","XKn3JQ2cQjhv4h4y8","ZxtRJs6pwAGomZ8oS","fooAuP3Xu4rQgu9uN","htGTMeYtCLoe8qzQW","j34qGHFzByKceaR8w","mFsw9mvi9oSAXMnbR","o57QATqYnPyJM9aAH","otxNBB4x4F8HacWQ3","pHgkrPcjGGhDn3tdq","rY3HkKPgfF3PLAx5e","tKKo8ucznm8fCRADy","tMuJRgzFH9FNNuRNh","tWGv2oinBNpZgeoSk","yEMHZ72dLpMkrgsHx"],"author_short":["Vaziri, M.","Jackson, D."],"bibbaseid":"vaziri-jackson-checkingpropertiesofheapmanipulatingprocedureswithaconstraintsolver-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mandana"],"propositions":[],"lastnames":["Vaziri"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Checking Properties of Heap-Manipulating Procedures with a Constraint Solver","booktitle":"Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Proceedings","year":"2003","pages":"505-520","url_paper":"pubs/2003/checkingHMPs.pdf","bibtex":"@inproceedings{DBLP:conf/tacas/VaziriJ03,\n author = {Mandana Vaziri and\n Daniel Jackson},\n title = {Checking Properties of Heap-Manipulating Procedures with\n a Constraint Solver},\n booktitle = {Tools and Algorithms for the Construction and Analysis\n of Systems, 9th International Conference, TACAS\n 2003, Proceedings},\n year = {2003},\n pages = {505-520},\nurl_paper={pubs/2003/checkingHMPs.pdf}\n}\n\n","author_short":["Vaziri, M.","Jackson, D."],"key":"DBLP:conf/tacas/VaziriJ03","id":"DBLP:conf/tacas/VaziriJ03","bibbaseid":"vaziri-jackson-checkingpropertiesofheapmanipulatingprocedureswithaconstraintsolver-2003","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2003/checkingHMPs.pdf"},"metadata":{"authorlinks":{"jackson, d":"http://sdg.csail.mit.edu/"}},"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","downloads":2,"keywords":[],"search_terms":["checking","properties","heap","manipulating","procedures","constraint","solver","vaziri","jackson"],"title":"Checking Properties of Heap-Manipulating Procedures with a Constraint Solver","year":2003,"dataSources":["t9Kc2YBfktMvKserb"]}