Back to Results
First PageMeta Content
Software bugs / C++ / Memory management / Data types / Primitive types / Pointer / Dangling pointer / Memory safety / C / Computing / Software engineering / Computer programming


Ironclad C++ A Library-Augmented Type-Safe Subset of C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte†
Add to Reading List

Document Date: 2013-09-17 20:34:39

Open Document

File Size: 357,16 KB

Share Result on Facebook

City

Indianapolis / /

Company

General Terms Languages / Creative Commons / /

Country

United States / /

/

Facility

Heap-Precise Collection Building / Ironclad C++ library / Rutgers University / The C Standard Library The C Standard Library / Store Figure / University of Pennsylvania / /

IndustryTerm

prior systems / storage management / web browsers / infrastructure software / semi-automatic refactoring tool / semiautomatic refactoring tool / native mobile applications / syntactic static validation tool / /

Organization

C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte† Milo M. K. Martin Steve Zdancewic Peter-Michael Osera Computer and Information Science Department / University of Pennsylvania / Rutgers University / Computer Science Department / /

Person

Acquire / Milo M. K. Martin / Christian DeLozier Richard Eisenberg Santosh / Peter-Michael Osera / /

/

Position

author / conservative garbage collector / collector / garbage collector / conservative collector / Logger / heap-precise collector / Logger logger / Boehm-Demers-Weiser collector / conservative / mark-sweep garbage collector / garage collector / programmer / /

ProgrammingLanguage

Java / C / C++ / /

RadioStation

Core / /

Technology

Java / /

URL

http /

SocialTag