Posts tagged #Checker Framework

2 posts tagged #Checker Framework.

• Making Wrong Code... Wrong

  Dec 08, 2014 Joel Spolsky has a popular post from 2005 on "Making Wrong Code Look Wrong". In this post, I'll address his suggestion to use Hungarian Notation. It turns out we can now do better: we can make...

  Read more: Making Wrong Code... Wrong
• Enforcing memory allocation patterns with an effect system

  Nov 23, 2014 Writing performant Java software often means controlling allocation patterns to prevent garbage collection. For example, a program for processing financial FIX messages in real-time might use a...

  Read more: Enforcing memory allocation patterns with an effect system