顺序控制的句法理论 – 计算机科学 电子书下载

原名:A Syntactic Theory of Sequential Control – Computer Science
作品简介:重写机形成了一种控制句法理论，它为推理具有非功能控制运算符的程序提供了自然基础。 1…….