非确定性函数的轻量级语义组合
摘要：在现代函数逻辑语言中，使用非确定性函数是一个独特的特点。通常采用的语义是叫做调用时选择的概念，这在操作层面上与函数语言中的惰性评估机制相关联。然而，有些情况下，与普通重写更为相近的运行时选择更为合适。在本文中，我们提出了对现有调用时选择的语言进行扩展，以便在程序的局部部分提供运行时选择的支持。在语法、形式操作计算和基于Toy系统的实现上，这个扩展都非常简单。
作者：Francisco Javier Lopez-Fraguas and Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez
论文ID：0903.2205
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-03-13