JAX & W-JAX
Die Konferenzen für Java, Architektur- und Software-Innovation

Preventing Null Pointer Exceptions at Compile Time

Session
Until the conference starts:
✓ Group discount
✓ Save up to 259 €
Register now
Bis Konferenzbeginn:
✓ 5-Tages-Special
✓ Kollegenrabatt
✓ Bis zu 259 € sparen
Jetzt anmelden
Until December 17:
✓ Save up to 784 €
✓ Agile Day for free
✓ Raspberry Pi or C64 Mini for Free
Register now
Bis 17. Dezember:
✓ Bis zu 784 € sparen
✓ Agile Day for free
✓ Raspberry Pi oder C64 Mini for free
Jetzt anmelden
Infos
Donnerstag, 9. Mai 2019
15:30 - 16:30
Raum:
Forum Nord

Null pointer exceptions are the bane of programmers, and have been called the "billion dollar mistake". They happen even if you think hard about your code and test it thoroughly. However, you don’t have to be a victim any longer! Come learn about a simple, yet powerful type system that prevents null pointer exceptions at compile time.

This session will explain the causes of null pointer exceptions, including their relationship to issues such as object initialization, map keys, method contracts, Java 8’s Optional class, and dynamic checks. It will show how programmers‘ informal reasoning can be automated into a formal proof, in a way that is easier to use than Java generics or the Optional class.

You will learn how to use pluggable type-checking, and in particular a freely-available tool called the Nullness Checker (CheckerFramework.org) that integrates with your development environment and toolchain. It has found hundreds of bugs in millions of lines of well-tested code, and it is easy enough for novices such as beginning CS students.

Bring your tricky nullness issues and see how they can be solved!

This Session originates from the archive of Diese Session stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the program of . Hier geht es zum aktuellen Programm von W-JAX W-JAX .

This Session originates from the archive of Diese Session stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the program of . Hier geht es zum aktuellen Programm von JAX JAX .

This Session Diese Session originates from the archive of stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the current program of . Hier geht es zum aktuellen Programm von W-JAX W-JAX or oder JAX JAX .
Alle News der Java-Welt:
Alle News der Java-Welt:

Behind the Tracks

Agile & Culture
Teamwork & Methoden

Data Access & Machine Learning
Speicherung, Processing & mehr

Clouds, Kubernets & Serverless
Alles rund um Cloud

Core Java & JVM Languages
Ausblicke & Best Practices

DevOps & Continuous Delivery
Deployment, Docker & mehr

Microservices
Strukturen & Frameworks

Web Development & JavaScript
JS & Webtechnologien

Performance & Security
Sichere Webanwendungen

Serverside Java
Spring, JDK & mehr

Digital Transformation & Innovation
Technologien & Vorgehensweisen

Software-Architektur
Best Practices

Domain-driven Design
Grundlagen und Ausblick

Spring Ecosystem
Wissen in Spring-Technologien

Web-APIs
API-Technologie, Design und Management