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

Krzysztof R. Apt, Andrea Schaerf

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…