search

Check out the latest: Introducing new JVM language Concurnas

#checker framework

Another draft review but this one is big

Early plans for extensive annotations in Java SE 8

#alex buckley #api #checker framework #early draft #java 8 #java se 8 #jsr 308

An early draft review of JSR 308 shows the fight for some new Java schematics – annotations everywhere!

Java

New Versions of Type Annotations Compiler and Checker Framework

#checker framework #java #jdk #langtools #open source #openjdk #type annotations

Versions 1.1.0 of the Type Annotations (JSR 308) compiler and of the Checker Framework are now available. The Type Annotations […]