程序设计语言与系统汇刊

分析信息的可用性是实时（JIT）编译的一个主要优点。配置文件指导编译顺序和优化，从而大大提高程序性能。提前（AOT）编译也可以利用。。。

类型系统通常描述值的形状，但不描述其自由变量。然而，如果知道值捕获的自由变量，许多理想的安全特性都可以得到保证。我们描述CC_{< :◻}，一个这样的计算。。。

我们为系统化SMT约束生成提供了一个逻辑原则基础，该方法适用于函数式编程语言的精化类型系统中的任何计算效果和评估顺序。通过仔细组合。。。