Volume 30,
Number 1,
November 2007
- Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
Heap reference analysis using access graphs.
Electronic Edition (ACM DL) BibTeX
- Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral:
Forma: A framework for safe automatic array reshaping.
Electronic Edition (ACM DL) BibTeX
- David Binkley, Mark Harman, Jens Krinke:
Empirical study of optimization techniques for massive slicing.
Electronic Edition (ACM DL) BibTeX
- David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis of C.
Electronic Edition (ACM DL) BibTeX
- Joseph Gil, Yoav Zibin:
Efficient dynamic dispatching with type slicing.
Electronic Edition (ACM DL) BibTeX
- Stephen Tse, Steve Zdancewic:
Run-time principals in information-flow type systems.
Electronic Edition (ACM DL) BibTeX
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Tue Mar 11 21:04:25 2008
by Michael Ley (ley@uni-trier.de)