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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_concurrent_and_parallel_programming_languages
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
Subject Item
dbr:David_F._Bacon
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
Subject Item
dbr:Hermes_(programming_language)
rdf:type
owl:Thing yago:Object100002684 yago:Instrumentality103575240 yago:Implement103563967 wikidata:Q9143 dbo:ProgrammingLanguage schema:Language wikidata:Q315 yago:Whole100003553 dbo:Language yago:PhysicalEntity100001930 yago:Artifact100021939 yago:WikicatStaticProgramAnalysisTools yago:Tool104451818
rdfs:label
Hermes (programming language)
rdfs:comment
Hermesis a language for distributed programmingthat was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992,with an open-source compiler and run-time system.Hermes' primary features included: * Language support of processes and interprocess communication. * Compile-time verification that operations use initialized data. * Representation-independent data aggregates called tables. * Lack of pointers.
dcterms:subject
dbc:Distributed_computing dbc:Static_program_analysis_tools dbc:Programming_languages
dbo:wikiPageID
24136948
dbo:wikiPageRevisionID
1035393908
dbo:wikiPageWikiLink
dbc:Distributed_computing dbr:Interprocess_communication dbr:Distributed_programming dbr:C_Sharp_(programming_language) dbr:International_Business_Machines dbr:Typestate_analysis dbr:Pointer_(computer_programming) dbr:Compile-time dbc:Programming_languages dbc:Static_program_analysis_tools dbr:Definite_assignment_analysis dbr:Cyclone_(programming_language) dbr:Thomas_J._Watson_Research_Center dbr:Java_(programming_language)
owl:sameAs
wikidata:Q16989736 yago-res:Hermes_(programming_language) n15:fvgD freebase:m.07k808l
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Prog-lang-stub dbt:Authority_control
dbo:abstract
Hermesis a language for distributed programmingthat was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992,with an open-source compiler and run-time system.Hermes' primary features included: * Language support of processes and interprocess communication. * Compile-time verification that operations use initialized data. * Representation-independent data aggregates called tables. * Lack of pointers. It used typestate analysis to check variables transitions errors, to rule out some semantically non meaningful transitions from one state to another (i.e. starting from a value, some sequences of operations on a variable are nonsensical), of which reading an uninitialized variable is a special case. In this role of compile-time checking of data initialization is similar to definite assignment analysis performed by Java, Cyclone and C#. Hermes and its predecessor, NIL (Network Implementation Language), were the earliest programming languages supporting this form of initialization checking.Typestate was actually used more extensively, to generate compiler-inserted "delete" operations.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Hermes_(programming_language)?oldid=1035393908&ns=0
dbo:wikiPageLength
3681
foaf:isPrimaryTopicOf
wikipedia-en:Hermes_(programming_language)
Subject Item
dbr:Hermes_(disambiguation)
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
dbo:wikiPageDisambiguates
dbr:Hermes_(programming_language)
Subject Item
dbr:Typestate_analysis
dbo:wikiPageWikiLink
dbr:Hermes_(programming_language)
Subject Item
wikipedia-en:Hermes_(programming_language)
foaf:primaryTopic
dbr:Hermes_(programming_language)