Converting One Type-Based Abstract Domain to Another
From MaRDI portal
Publication:5302885
DOI10.1007/11680093_10zbMath1156.68327MaRDI QIDQ5302885
Elvira Albert, John P. Gallagher, Germán Puebla
Publication date: 15 January 2009
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://rucforsk.ruc.dk/ws/files/264537/camera-ready.pdf
Uses Software