• Precise Set Sharing Analysis f...

Treffer: Precise Set Sharing Analysis for Java-Style Programs

Title:
Precise Set Sharing Analysis for Java-Style Programs
Verification, model checking, and abstract interpretation
Authors:
Mendez-Lojo, M., Hermenegildo, M.V.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4905):172-187
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN067831263&indx=1&recIds=ETOCCN067831263
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings