?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Alvaro+Germ%C3%A1n&rft.aulast=Puebla+S%C3%A1nchez&rft.au=Puebla+S%C3%A1nchez%2C+Alvaro+Germ%C3%A1n&rft.title=An+integration+of+partial+evaluation+in+a+generic+abstract+interpretation+framework&rft.btitle=Proceedings+of+the+1999+ACM+SIGPLAN+Workshop+on+Partial+Evaluation+and+Semantics-Based+Program+Manipulation&rft.date=1999&rft.genre=proceeding