圣人

SAGE:混合检查灵活的规格。软件系统通常包含大量的API,这些API是非正式指定的,因此容易被滥用。本文介绍了SAGE编程语言,其设计以灵活的方式执行精确的接口规范。SAGE类型系统使用类型动态、一流类型和任意细化类型的合成。由于这种表达语言的类型检查不是静态可判定的,SAGE使用混合类型检查,它扩展了静态类型检查与动态合同检查,自动定理证明,和数据库的驳斥子类型判断。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。