15 citations · 17 across the 7 of their papers we have counts for
1 paper · 2 filters
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…