×

Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 (英语) Zbl 1115.68370号

Michael J.Maher(编辑),《计算机科学进展——2004年亚洲》。高层决策。第九届亚洲计算科学会议。2004年12月8日至10日,在泰国清迈举行的Jean-Louis Lassez五周岁生日上,向他致敬。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24087-X/pbk)。计算机科学课堂讲稿332193-108(2004)。
摘要:介绍了一种新的形式主义,称为Hiord,用于定义具有谓词抽象的无类型高阶逻辑编程语言。提出了一种基于偏组合代数的模型理论,其形式化是合理的。讨论了一种建立在Hiord子集上的编程语言及其实现。考虑了在该框架中定义模块的新建议,以及几个示例。
关于整个系列,请参见[兹比尔1063.68009].

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部