This thesis presents a novel approach for the implementation of a tracking system to facilitate program analysis, based on program transformations. The approach is then applied to a specific problem in the field of probabilistic programming.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool