Alma-0 编程：或 imperative 与 declarative 编程的统一

Krzysztof R. Apt; Andrea Schaerf

Alma-0 编程：或 imperative 与 declarative 编程的统一

计算机科学中的逻辑 2007-05-23 v1 人工智能编程语言

作者: Krzysztof R. Apt , Andrea Schaerf

摘要

在 (Apt 等, TOPLAS 1998) 中，我们介绍了支持声明式编程的命令式编程语言 Alma-0。本文通过各种示例说明 Alma-0 的混合式编程风格，这些示例补充了 (Apt 等, TOPLAS 1998) 中呈现的示例。所示 Alma-0 程序展示了该语言的多功能性，证明了“不确定”非确定性可以自然地与赋值操作结合。

关键词

Alma-0 命令式编程声明式编程混合式编程非确定性赋值 TOPLAS 1998

引用

@article{arxiv.cs/0004002,
  title  = {Programming in Alma-0, or Imperative and Declarative Programming Reconciled},
  author = {Krzysztof R. Apt and Andrea Schaerf},
  journal= {arXiv preprint arXiv:cs/0004002},
  year   = {2007}
}

备注

With updated references with respect to the published version

Alma-0 编程：或 imperative 与 declarative 编程的统一

摘要

关键词

引用

备注

相关论文