Programming in Alma-0, or Imperative and Declarative Programming Reconciled
<|reference_start|>Programming in Alma-0, or Imperative and Declarative Programming Reconciled: 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.<|reference_end|>
@article{apt2000programming,
    title={Programming in Alma-0, or Imperative and Declarative Programming
  Reconciled},
    author={Krzysztof R. Apt and Andrea Schaerf},
    journal={Frontiers of Combining Systems 2, Research Studies Press Ltd, D.
  M. Gabbay and M. de Rijke (editors), pages 1-16, 1999},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0004002},
    primaryClass={cs.LO cs.AI cs.PL}
}