%0 Thesis %1 phd/il/Abadi17 %A Abadi, Aharon %D 2017 %K dblp %T The plan calculus as an internal representation for static analysis and transformations

@phdthesis{phd/il/Abadi17, added-at = {2023-11-03T00:00:00.000+0100}, author = {Abadi, Aharon}, biburl = {https://www.bibsonomy.org/bibtex/2ae463f30b94e468c1285a757561c65c8/dblp}, ee = {https://tau.primo.exlibrisgroup.com/permalink/972TAU_INST/bai57q/alma990032640420204146}, interhash = {8e0034e5ad067f2336a505698d7ef2d0}, intrahash = {ae463f30b94e468c1285a757561c65c8}, keywords = {dblp}, note = {Tel Aviv University Library}, school = {Tel Aviv University, Israel}, timestamp = {2024-04-09T09:26:46.000+0200}, title = {The plan calculus as an internal representation for static analysis and transformations}, year = 2017 }