How does E relate to other efforts such as e-speak, EROS, and Mozart?
E is a language and infrastructure for secure distributed applications; e-speak provides only the infrastructure. Both E and e-speak use capability mechanisms for access control, while e-speak also has mechanisms for naming and discovery. Both E and e-speak have trusted code that mediates requests, allowing a degree of manageability not provided by systems that don’t mediate, such as Jini. Unlike E, e-speak is language independent, having had programming libraries for Java, Python, C++, and Perl (in various stages of completeness) in addition to a version for document exchange programming in XML. The E language makes security guarantees that e-speak cannot. For example, an E program can be analyzed for capability confinement. [Alan Karp] Both Mozart and E descend from FCP (Flat Concurrent Prolog), and the distributed capability security properties of both languages are directly related to the security properties FCP had (in the abstract, but not in actual implementations).
