Archive for the ‘Other Publications’ Category

A Better Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs

Posted in January 30, 2006 ¬ 6:06 pmh.zrakamarNo Comments »
EmailFacebookShare

Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. UBC Department of Computer Science Tech Report TR-2006-02, January 30, 2006.

Read the rest of this entry »
Other Publications

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs

Posted in September 19, 2005 ¬ 5:51 pmh.zrakamarNo Comments »
EmailFacebookShare

Jesse Bingham, Zvonimir Rakamaric. UBC Department of Computer Science Tech Report TR-2005-19, September 19, 2005.

Read the rest of this entry »
Other Publications