Can I read Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Compile-time type-checking for custom type qualifiers in java on EtoBox?

Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Compile-time type-checking for custom type qualifiers in java by Papi, Matt M.; Ali, Mahmood; Ernst, Michael D. is a scholarly article available to read on EtoBox.

What is Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Compile-time type-checking for custom type qualifiers in java about?

The Checker Framework enables adding custom type qualifiers to the Java language in a backward-compatible way. The Checker Framework allows programmers to write type qualifiers in their programs and to create compiler plug-ins that enforce the semantics of these qualifiers at compile time. Using the plug-ins, programmers can improve the quality of their code without disturbing their development workflow. Our case studies demonstrate that the Checker Framework is scalable, easy to use, and effective in detecting and preventing errors. It has been used to detect real errors in null pointer dereferencing, side effects, equality tests, and initialization, among others.

Author

Papi, Matt M.; Ali, Mahmood; Ernst, Michael D.

Publisher

ACM Press

Published

2008

Language

EN