Sciweavers

8232 search results - page 365 / 1647
» Dynamic Logic Programming
Sort
View
APSEC
2006
IEEE
15 years 8 months ago
Safety Analysis for Dynamic Update of Object Oriented Programs
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi
FASE
2008
Springer
15 years 8 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...