15 citations · 17 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 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…
cs.LO1998
Formulas as Programs
Krzysztof R. Apt, Marc Bezem
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this ap…