A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Jesse Bingham, Zvonimir Rakamaric. UBC Department of Computer Science Tech Report TR-2005-19, September 19, 2005.
Category Archives: Publications
Bytecode Optimization
Domagoj Babic, Zvonimir Rakamaric. 24th International Conference on Information Technology Interfaces (ITI 2002), Cavtat, Croatia.