Source: https://toddschiller.com/tag/checker-framework.html

# Posts tagged *#Checker Framework*

[![Atom feed for posts tagged Checker Framework](https://toddschiller.com/theme/images/feed-icon.svg)](https://toddschiller.com/feeds/tag/checker-framework.atom.xml "Atom feed for #Checker Framework")

2 posts tagged `#Checker Framework`.

[Todd Schiller](https://toddschiller.com/pages/about.html)

- 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](https://toddschiller.com/blog/java-hungarian-notation-checker.html "Permalink to 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](https://toddschiller.com/blog/java-allocation-effect-system.html "Permalink to Enforcing memory allocation patterns with an effect system")

## Related tags

- [`#verification`](https://toddschiller.com/tag/verification.html) (2)
- [`#java`](https://toddschiller.com/tag/java.html) (2)
- [`#Hungarian Notation`](https://toddschiller.com/tag/hungarian-notation.html) (1)
- [`#effect systems`](https://toddschiller.com/tag/effect-systems.html) (1)