摘要：自适应计算的语义及其正确性和一致性的证明
作者：Umut A. Acar and Matthias Blume and Jacob Donham
论文ID：1106.0478
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-06-03
PDF 下载： 英文版 中文版pdf翻译中