Sigma*:输入输出规范的符号学习

马特科·博廷根Domagoj Babic公司Sigma*:输入输出规范的符号学习罗伯托·贾科巴齐拉迪亚·库索特,编辑,第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会,POPL’13,意大利罗马-2013年1月23日至25日443-456、ACM、,2013 [doi]

摘要

缺少摘要。