Programming in Alma-0, or Imperative and Declarative Programming Reconciled

TL;DR

This paper demonstrates how Alma-0, a hybrid imperative and declarative programming language introduced earlier, enables versatile programming by combining nondeterminism with assignment through various illustrative examples.

Contribution

It showcases the practical use and versatility of Alma-0's hybrid programming style with new examples complementing prior work.

Findings

Alma-0 effectively combines nondeterminism with assignment.

The language supports versatile programming paradigms.

Examples demonstrate practical applications of the hybrid style.

Abstract

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.