Extending the loop language with higher-order procedural variables

• 期刊名称ACM Transactions on Computational Logic
• 作者Crolard, Tristan; Polonowski, Emmanuel; Valarcher, Pierre
• 卷第10卷
• 期第4期
• 印刷ISSN1529-3785
• 文件大小305.63KB
• 发表时间2009-08-01
• DOI10.1145/1555746.1555750
• 页码1-37