?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Gold&rft.aufirst=Nicolas&rft.au=Gold%2C+Nicolas&rft.volume=240&rft.title=Science+of+Computer+Programming&rft.atitle=Causal+Program+Dependence+Analysis&rft.date=February+2025&rft.genre=article