Hermes (programming language)

Hermes is a language for distributed programming that was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992. Hermes' primary features included:[1]

The compile-time checking of data initialization, called "typestate analysis", is an early precedent for the definite assignment analysis performed by Java, Cyclone and C#. Hermes and its predecessor, NIL, appear to have been the earliest programming languages supporting this form of initialization checking.

References

  1. "Hermes Language Experiences". Willard Korfhage and Arthur P. Goldberg. Software — Practice and Experience, Vol. 25(4), 389–402 (April 1995).


This article is issued from Wikipedia - version of the Thursday, February 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.