ESC/ Java: Programming Tool, Run- Time Error, Java (programming language) - Couverture souple

 
9786131902048: ESC/ Java: Programming Tool, Run- Time Error, Java (programming language)
Couverture souple
ISBN 10 : 6131902046 ISBN 13 : 9786131902048
Editeur : OmniScriptum, 2026

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java programs by static analysis of the program text. Recent versions of ESC/Java are based around the Java Modeling Language (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or pragmas. ESC/Java was originally developed at the Compaq Systems Research Center (SRC). SRC launched the project in 1997, after work on their original extended static checker, ESC/Modula-3, ended in 1996. In 2002, SRC released the source code for ESC/Java and related tools.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
OmniScriptum
Date d'édition
2026
Langue
anglais
ISBN 10 
6131902046
ISBN 13 
9786131902048
Reliure
Broché
Nombre de pages
64
Éditeur
Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible