Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005.
What's New in Groovy 1.6?
Whats New In Groovy 1.6?
Abstract Refinement Types Niki Vazou 1, Patrick M. Rondon 2, and Ranjit Jhala 1 1 UC San Diego 2 Google 1.