Programming in Alma-0, or Imperative and Declarative Programming Reconciled
计算机科学中的逻辑
2007-05-23 v1 人工智能
编程语言
摘要
In (Apt et al, TOPLAS 1998) we introduced the imperative programming language Alma-0 that supports declarative programming. In this paper we illustrate the hybrid programming style of Alma-0 by means of various examples that complement those presented in (Apt et al, TOPLAS 1998). The presented Alma-0 programs illustrate the versatility of the language and show that ``don't know'' nondeterminism can be naturally combined with assignment.
引用
@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