StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

dc42

Rating
1491.95 (4,378,045th) 		Reputation
146 (562,151st)
Page: 1
Title Δ
What are any real sets of rules compilers use to decide whether to... -2.17
.NET 4 Code Contracts: "requires unproven: source != null" 0.00
Should you correct compiler warnings about type conversions using e... -2.52
Compiler warning for unary operation on unsigned int -3.35
Tool for model checking large, distributed C++ projects such as KDE? 0.00
Are there any provable real-world languages? (scala?) 0.00
Logic for software verification 0.00
Java Modeling Language for C? 0.00
Can I make the ternary operator treat my class like a bool? 0.00
What is the best way of determining a loop invariant? 0.00
Teaching programming and formal methods 0.00
Are there any software guarantees in critical systems? 0.00