2000/04/05 by Krzysztof R. Apt, Andrea Schaerf
Computer Science · #cs.LO #cs.AI #cs.PL
published as Frontiers of Combining Systems 2, Research Studies Press Ltd, D. M. Gabbay and M. de Rijke (editors), pages 1-16, 1999 · With updated references with respect to the published version
arxiv created 2000/04/05 · arxiv updated 2009/11/30
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.