The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming (1999)

Cached

Download Links

by Krzysztof R. Apt , Andrea Schaerf
Citations:4 - 2 self

Active Bibliography

1 Integrating Constraints into an Imperative Programming Language – Krzysztof R. Apt, Andrea Schaerf - 1998
19 Search and Strategies in OPL – Pascal Van Hentenryck, Laurent Perron, Jean-François Puget, Ilog Sa - 2000
54 Alma-0: An Imperative Language that Supports Declarative Programming – Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf - 1998
Programming in Alma-0, or Imperative and Declarative Programming Reconciled – Krzysztof R. Apt, Andrea Schaerf - 1998
20 Constraint and Integer Programming in OPL – Pascal Van Hentenryck - 2002
2 First-order logic as a constraint programming language – K. R. Apt, C. F. M. Vermeulen
1 Formulas as Programs – Krzysztof R. Apt, Marc Bezem - 1998
6 Formulas as Programs – Krzysztof R. Apt, Marc Bezem - 1998
10 Implementing Constraint Imperative Programming Languages: The Kaleidoscope'93 Virtual Machine – Gus Lopez, Bjorn Freeman-benson, Alan Borning - 1994
26 A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains – Antonio J. Fernandez, Particia M. Hill - 2000
Constraint Programming relies on constraint solving as a powerful mechanism f... – S. Estévez-martín, T. Hortalá-gonzález, M. Rodríguez-artalejo, R. Del Vado-vírseda, F. Sáenz-pérez, A. J. Fernández - 2009
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
32 Propositional Satisfiability and Constraint Programming: a Comparative Survey – Lucas Bordeaux, Youssef Hamadi, Lintao Zhang - 2006
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
2 Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma-0 – Jacob Brunekreef, Jacob Brunekreef, Jacob Brunekreef, Jacob Brunekreef - 1998
41 Efficient constraint propagation engines – Christian Schulte, Peter J. Stuckey
12 Logic, Optimization, and Constraint Programming – J.N. Hooker - 2000
12 Search and imperative programming – Krzysztof R. Apt, Andrea Schaerf - 1996
2 Constraint Logic Programming – Francesca Rossi - 1999