摘要：《Logic-based Methods in Programming Environments 2008：第18届工作坊论文汇编》
作者：Puri Arenas and Damiano Zanardini
论文ID：0903.1598
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-10-02
PDF 下载： 英文版 中文版pdf翻译中