ACM Transactions on Programming Languages and Systems.

• 美国计算机学会程序设计语言与系统汇刊。