Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers.
Add to Reading List
Document Date: 2015-04-18 02:31:35
Open Document
File Size: 1,19 MB
Share Result on Facebook
Facility
Annotated library /
Type factory /
/
IndustryTerm
external tools /
software developers /
inference tools /
/
OperatingSystem
Android /
/
Position
General /
qualifier /
type qualifier /
single polymorphic qualifier /
Default qualifier /
The @PolyAll qualifier /
/
ProgrammingLanguage
Java /
/
Technology
Java /
GUI /
Android /
/
URL
http /
SocialTag
Programming language theory
Computing
Program analysis
Type system
Type inference
Subtype polymorphism
Lint
Annotation
Type theory
Data types
The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers.