Euclid语言

1976年

抽象机制 强验证性 显式模块 内存访问 封装复用