Search Sciweavers | Sciweavers

3708 search results - page 20 / 371

» Programming with C Exceptions

Improving Software Robustness with Dependability Cases

144 views 138 votes 15 years 2 months ago FTCS 1998»

Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...

claim paper

Roy A. Maxion, Robert T. Olszewski

Functional Programming with C++ Template Metaprograms

141 views 74 votes 14 years 10 months ago CEFP 2009»

claim paper

Zoltán Porkoláb

C++ Program Information Database for Analysis Tools

125 views 92 votes 15 years 5 months ago TOOLS 1998»

Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...

claim paper

Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...

CSSV: towards a realistic tool for statically detecting all buffer overflows in C

104 views 78 votes 15 years 6 months ago PLDI 2003»

claim paper

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Another Mediocre Assertion Mechanism for C++

96 views 63 votes 15 years 5 months ago TOOLS 2000»

claim paper

Pedro Guerreiro

Contracts: From Analysis to C++ Implementation

96 views 90 votes 15 years 5 months ago TOOLS 1999»