Computer Science University of Aarhus / Store Model In / /
IndustryTerm
safety-critical data-type algorithms / red-black search trees / type-checking systems / search trees / name reverse search zip / main target applications / Graph-based algorithms / type systems / red-black search tree / safety critical applications / /
Organization
Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department / University of Aarhus / MIT / UC Berkeley / /
Person
Michael Benedikt / Patrick Cousot / Nurit Dor / Theis Rauhe / William R. Bush / Randal E. Bryant / Phillip J. Windley / John Hatcliff / Zhendong Zu / Jeff Foster / Jacob Elgaard / K. Rustan M. Leino / James B. Saxe / Ronald L. Rivest / Anders Møller / David L. Detlefs / Greg Nelson / Michael Rodeh / Hoare Triples / Thomas Ball / Paul E. Black / Michael I. Schwartzbach / Matthew B. Dwyer / Derek C. Oppen / David J. Sielaff / Nils Klarlund / Alex Aiken / Mooly Sagiv / Stephen A. Cook / Charles E. Leiserson / Thomas Reps / Jonathan D. Pincus / Sriram K. Rajamani / Thomas H. Cormen / Morten Biehl / /
Position
editor / translator / first author / Work General / programmer / /
ProgrammingLanguage
Java / C / C++ / /
PublishedMedium
Theoretical Computer Science / IEEE Transactions on Computers / /
The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk