{"title":"Synchronized Pushdown Systems for Pointer and Data-Flow Analysis","main_file_link":[{"url":"http://www.bodden.de/pubs/phdSpaeth.pdf"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:54:29Z","supervisor":[{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"date_created":"2020-11-27T10:50:55Z","author":[{"first_name":"Johannes","last_name":"Späth","full_name":"Späth, Johannes"}],"year":"2019","citation":{"apa":"Späth, J. (2019). <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn.","bibtex":"@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }","short":"J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, Universität Paderborn, 2019.","mla":"Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019.","chicago":"Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019.","ieee":"J. Späth, <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019.","ama":"Späth J. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn; 2019."},"language":[{"iso":"eng"}],"_id":"20536","department":[{"_id":"76"}],"user_id":"5786","status":"public","type":"dissertation"}