ESC/Java
id:
esc-java-312-2493553
title:
ESC/Java
text:
ESC/Java, the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java programs at compile time. The underlying approach used in ESC/Java is referred to as extended static checking, which is a collective name referring to a range of techniques for statically checking the correctness of various program constraints. For example, that an integer variable is greater-than-zero, or lies between the bounds of an array. This technique was pioneered i
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/ESC/Java
date created:
date modified:
2022-01-16T03:55:30Z
main entity:
{"identifier":"Q5324121","url":"https://www.wikidata.org/entity/Q5324121"}
image:
fields total:
13
integrity:
13