|
The
Hermes
programming language was designed for the construction of
highly reliable, large-scale distributed systems. Hermes was one of the
first secure, imperative languages. Hermes used
typestate checking
as part of its security enforcement; mechanisms based on typestate
checking are only now being used in other languages and tools, almost 20
years later.
A public-domain Hermes interpreter was built and distributed for a
variety of architectures. The newsgroup comp.lang.hermes covers
Hermes-related issues.
A book on the Hermes language was published by Prentice-Hall.
| 
Other
projects in