Extended Static Checking for Java

Flanagan, C., Leino, K. R. M., Lillibridge, M., Nelson, G., Saxe, J. B., & Stata, R. (2002). Extended Static Checking for Java. PLDI 2002, 234-245.

Type

Conference paper

Intellectual base

Primary research

Year

2002

DOI

10.1145/512529.512558

Link

https://doi.org/10.1145/512529.512558

Cited by

1 citation across 1 artifact.

Domain-specific

• Extended Static Checking
  • Failed or unproved conditions become source-linked warnings about possible errors.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml103.pdf ×1

Registry ID ref:58fd05ef1a29 · see in the full table