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.

Property Value
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. (en)
dbo:wikiPageEditLink
dbo:wikiPageExtracted
  • 2019-06-11 12:33:17Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 24136948 (xsd:integer)
dbo:wikiPageLength
  • 3394 (xsd:integer)
dbo:wikiPageModified
  • 2019-05-08 11:24:51Z (xsd:date)
dbo:wikiPageOutDegree
  • 14 (xsd:integer)
dbo:wikiPageRevisionID
  • 896112924 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
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. (en)
rdfs:label
  • Hermes (programming language) (en)
owl:sameAs
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of