This HTML5 document contains 12 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://babelfish.arc.nasa.gov/trac/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n7http://dbpedia.org/resource/Java_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Java_Pathfinder
rdfs:comment
Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with the unrelated Java Plugin Framework project.The core of JPF is a Java Virtual Machine that is also implemented in Java. JPF executes normal Java bytecode programs and can store, match and restore program states.
foaf:name
Java Pathfinder
foaf:homepage
n6:jpf
dbpedia-owl:developer
dbpedia:NASA
dbpedia-owl:fileSize
1.6e+06
dbpedia-owl:genre
dbpedia:Virtual_machine dbpedia:Software_verification
dbpedia-owl:latestReleaseDate
2010-11-30Z
dbpedia-owl:latestReleaseVersion
6.0
dbpedia-owl:license
dbpedia:Apache_License
dbpedia-owl:operatingSystem
dbpedia:Cross-platform
dbpedia-owl:programmingLanguage
n7: