?url_ver=Z39.88-2004&rft_id=10.1016%2F0743-1066(92)90035-2&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Muthukumar%2C+Kalyan&rft.aulast=Muthukumar&rft.aufirst=Kalyan&rft.issn=1567-8326&rft.date=July+1992&rft.pages=315-347&rft.atitle=Compile-time+derivation+of+variable+dependency+using+abstract+interpretation&rft.title=Journal+of+logic+programming&rft.volume=13&rft.issue=2%2F3&rft.genre=article