Alma-0: An Imperative Language that Supports Declarative Programming (1998)

Cached

Download Links

by Krzysztof R. Apt , Jacob Brunekreef , Vincent Partington , Andrea Schaerf
Citations:54 - 11 self

Active Bibliography

12 Search and imperative programming – Krzysztof R. Apt, Andrea Schaerf - 1996
1 Integrating Constraints into an Imperative Programming Language – Krzysztof R. Apt, Andrea Schaerf - 1998
4 The Alma project, or how first-order logic can help us in imperative programming – Krzysztof R. Apt, Andrea Schaerf - 1999
Programming in Alma-0, or Imperative and Declarative Programming Reconciled – Krzysztof R. Apt, Andrea Schaerf - 1998
28 Sets and Constraint Logic Programming – Agostino Dovier, Carla Piazza, Enrico Pontelli , Gianfranco Rossi - 2000
4 The Framework Approach for Constraint Satisfaction – Pierre Roy, Anne Liret, François Pachet - 1998
33 Mixed Logical/Linear Programming – J.N. Hooker, M.A. Osorio - 1996
19 Search and Strategies in OPL – Pascal Van Hentenryck, Laurent Perron, Jean-François Puget, Ilog Sa - 2000
4 Logic, Modeling, and Programming – Ken Mcaloon, Carol Tretkoff - 1997
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
7 A choice-point library for backtrack programming – Pierre-etienne Moreau - 1998
24 A Proof Theoretic View of Constraint Programming – Krzysztof R. Apt - 1998
10 Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimization: A Logic Programming Approach – Robert Fourer - 1998
1 Set-Based Constraints – Agostino Dovier, Carla Piazza, Gianfranco Rossi
10 Logical Loops – Joachim Schimpf - 2002
30 Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories – Hélène Kirchner, Pierre-Etienne Moreau - 2001
12 Prolog with Arrays and Bounded Quantifications – Jonas Barklund, Johan Bevemyr - 1993
1 Formulas as Programs – Krzysztof R. Apt, Marc Bezem - 1998
6 Formulas as Programs – Krzysztof R. Apt, Marc Bezem - 1998