Showing cs.LOShow all
2 papers · 1 filter
cs.LO2000
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…
cs.LO1999
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Krzysztof R. Apt, Andrea Schaerf
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…