Categories
- Code Pranger (5)
- DrJava (205)
- Graduate School (31)
- Pictures (36)
- Publications (44)
- Ramblings (112)
- Research (404)
- Concurrent Unit Testing (289)
- Mint (72)
- OOP Book (7)
- xajavac (29)
- Teaching (26)
- Thesis (31)
- MS Thesis (30)
- Uncategorized (157)
Blogroll
Concutest
JavaPLT
JSR Watchlist
- JSR 014 (Generics)
- JSR 047 (Logging)
- JSR 108 (Units)
- JSR 133 (Memory Model)
- JSR 166 (Concurrency Utilities)
- JSR 175 (Annotations)
- JSR 199 (javac API)
- JSR 202 (Class File Update)
- JSR 250 (Common Annotations)
- JSR 260 (Javadoc Update)
- JSR 269 (Annotation Processing)
- JSR 269 Article
- JSR 290 (XML UI)
- JSR 296 (Swing)
- JSR 305 (Defect Detection Annotations)
- JSR 305 Article
- JSR 308 (Annotations on Types)
- JSR 901 (JLS)
- JSR 924 (JVM Specs)
- Pure Danger Tech: Java 7
More Links
My Links
Meta
Archives
- January 2012 (5)
- November 2011 (2)
- October 2011 (4)
- September 2011 (11)
- August 2011 (6)
- July 2011 (7)
- June 2011 (4)
- May 2011 (3)
- April 2011 (3)
- March 2011 (2)
- February 2011 (7)
- January 2011 (10)
- December 2010 (2)
- November 2010 (7)
- October 2010 (17)
- September 2010 (17)
- August 2010 (23)
- July 2010 (16)
- June 2010 (16)
- May 2010 (14)
- April 2010 (15)
- March 2010 (15)
- February 2010 (16)
- January 2010 (15)
- December 2009 (6)
- November 2009 (16)
- October 2009 (20)
- September 2009 (25)
- August 2009 (13)
- July 2009 (2)
- June 2009 (1)
- May 2009 (3)
- April 2009 (2)
- March 2009 (3)
- February 2009 (3)
- December 2008 (2)
- November 2008 (6)
- October 2008 (16)
- September 2008 (7)
- August 2008 (10)
- July 2008 (4)
- June 2008 (4)
- May 2008 (7)
- April 2008 (3)
- March 2008 (7)
- February 2008 (11)
- January 2008 (3)
- December 2007 (5)
- November 2007 (15)
- October 2007 (5)
- August 2007 (2)
- July 2007 (19)
- June 2007 (8)
- May 2007 (9)
- April 2007 (18)
- March 2007 (23)
- February 2007 (5)
- January 2007 (12)
- December 2006 (5)
- November 2006 (17)
- October 2006 (18)
- September 2006 (22)
- August 2006 (21)
- July 2006 (15)
- June 2006 (1)
- May 2006 (4)
- April 2006 (3)
- March 2006 (1)
- February 2006 (1)
- January 2006 (26)
- December 2005 (6)
- November 2005 (6)
- October 2005 (2)
- September 2005 (7)
- August 2005 (20)
- July 2005 (21)
- June 2005 (23)
- February 2005 (1)
- December 2004 (1)
- November 2004 (2)
- October 2004 (2)
- September 2004 (1)
- August 2004 (2)
- June 2004 (3)
- March 2004 (1)
- September 2003 (1)
Monthly Archives: September 2006
Thread Checking DrJava
After writing a few more auxiliary strategies, …
Continue readingMore Static Checking?
I’m wondering whether I should warn about unnec…
Continue reading