About: ESC/Java

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://web.archive.org/web/20010228175138/http:/research.compaq.com/SRC/esc/escm3/download.html https://web.archive.org/web/20051208055447/http:/research.compaq.com/SRC/esc/ ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-159.html http://www.kindsoftware.com/products/opensource/ESCJava2/ http://www.openjml.org/ https://web.archive.org/web/20071002143846/http:/www.researchchannel.org/prog/displayevent.aspx%3FrID=2761 https://www.cs.ru.nl/~erikpoll/papers/tfm2009.pdf http://www.hpl.hp.com/downloads/crl/jtk/ https://github.com/OpenJML https://archive.org/details/formalmethodsfor0000fmco/page/342
dbo:wikiPageWikiLink	dbr:Soundness dbc:Formal_methods_tools dbr:Directive_(programming) dbr:Technical_University_of_Denmark dbr:Programming_tool dbr:University_College_Dublin dbr:IT_University_of_Copenhagen dbr:Radboud_University_Nijmegen dbr:Modular_arithmetic dbr:Automated_theorem_proving dbr:Bounds_checking dbr:Compile_time dbr:Java_Modeling_Language dbc:2002_software dbr:Java_(programming_language) dbr:Extended_static_checking dbr:Completeness_(logic) dbc:Free_computer_programming_tools dbr:Eclipse_(software) dbr:Source_code dbr:DEC_Systems_Research_Center dbc:Formal_specification_languages dbc:Static_program_analysis_tools dbr:Automated_theorem_prover dbr:Static_code_analysis dbr:Thread_(computer_science) dbr:Run-time_error dbr:Type_checking
dbp:date	2001-02-28 (xsd:date) 2005-12-08 (xsd:date)
dbp:title	Extended Static Checking Modula-3 (en) Extended Static Checking for Java (en)
dbp:url	https://web.archive.org/web/20010228175138/http:/research.compaq.com/SRC/esc/escm3/download.html https://web.archive.org/web/20051208055447/http:/research.compaq.com/SRC/esc/
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Cite_conference dbt:Refend dbt:Refbegin dbt:Usurped dbt:More_footnotes dbt:Webarchive
dct:subject	dbc:Formal_methods_tools dbc:2002_software dbc:Free_computer_programming_tools dbc:Formal_specification_languages dbc:Static_program_analysis_tools
gold:hypernym	dbr:Tool
rdfs:label	ESC/Java (en)
owl:sameAs	yago-res:ESC/Java freebase:ESC/Java wikidata:ESC/Java dbpedia-global:ESC/Java
prov:wasDerivedFrom	wikipedia-en:ESC/Java?oldid=1292502443&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ESC/Java
is dbo:knownFor of	dbr:Greg_Nelson_(computer_scientist)
is dbo:wikiPageRedirects of	dbr:Esc_java dbr:ESC/Java2
is dbo:wikiPageWikiLink of	dbr:Whiley_(programming_language) dbr:Greg_Nelson_(computer_scientist) dbr:Java_Modeling_Language dbr:Static_program_analysis dbr:Extended_static_checking dbr:List_of_tools_for_static_code_analysis dbr:List_of_programmers dbr:Esc_java dbr:Predicate_transformer_semantics dbr:ANSI/ISO_C_Specification_Language dbr:List_of_computer_scientists dbr:Dafny dbr:ESC/Java2
is foaf:primaryTopic of	wikipedia-en:ESC/Java