法被设计为便于人们审查安全性缺陷。例如，词法作用域限制了必须检查对给定变量的影响的代码数量。另一个例子，语言使用==运算符进行比较，使用:=运算符进行赋值; 为了避免混淆的可能性，没有=运算符。
计算模型.在E语言中，所有值都是对象，计算是通过向对象发送消息来执行的。每个物体都属于一个"vat"（类似行程）。每个vat都有一个执行线程、一个堆栈帧和一个事件队列。分布式编程只是向远程对象（其他vat中的对象）发送消息的问题。与远程方的所有通信都由E运行时加密。到达的消息被放置到vat