该研究档案提供了对过去问题发表的所有研究文章的访问。
“从”大代码“预测程序属性”介绍了利用大代码来自动化两个编程活动的新技术:为JavaScript标识符选择可理解的名称和生成类型注释......
我们提出了一种预测大码条(AKA“大代码”)程序属性的新方法。
在本文中,我们几乎完全地完成了分离引理的裂解,以在二分形图中的完美匹配。
无论是否存在二分匹配的确定性并行算法,我们都会在我们对计算中的随机性作用的理解前沿的突出问题。最近的问题已经(几乎)......