Information Technology Reference
In-Depth Information
Acknowledgements
We would like to thank Jan Holleman, Eric Monfroy and Vincent Partington for
useful discussions on the subject of this paper. Helpful comments by Tony Hoare
and other two, anonymous, referees allowed us to improve the presentation.
References
1. K. R. Apt and M. A. Bezem. Formulas as programs. In K.R. Apt, V.W. Marek,
M. Truszczynski, and D.S. Warren, editors,
The Logic Programming Paradigm: A
25 Year Perspective
, pages 75{107, 1999.
2. K. R. Apt, J. Brunekreef, V. Partington, and A. Schaerf.
Alma-0
: An imperative
language that supports declarative programming.
ACM Toplas
, 20(5):1014{1066,
1998.
3. K. R. Apt and A. Schaerf. Search and imperative programming. In
Proc. 24th
Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL '97)
, pages 67{79. ACM Press, 1997.
4. A. Colmerauer. An introduction to Prolog III.
Communications of ACM
, 33(7):69{
90, 1990.
5. M. R. Garey and D. S. Johnson.
Computers and Intractability|A guide to NP-
completeness
. W.H. Freeman and Company, San Francisco, 1979.
6. R. E. Griswold and M. T. Griswold.
The Icon Programming Language
. Prentice-
Hall, Englewood Clis, New Jersey, USA, 1983.
7. W. K. Hale. Frequency assignment: Theory and applications. In
Proc. of IEEE
,
pages 1497{1514, 1980.
8. P. Van Hentenryck, Vijay Saraswat, and Y. Deville. Design, implementation,
and evaluation of the constraint language cc(FD). In Andreas Podelski, editor,
Constraint Programming: Basics and Trends
, LNCS 910. Springer-Verlag, 1995.
(Chatillon-sur-Seine Spring School, France, May 1994).
9. ILOG.
ILOG
optimization
suite
|
white
paper.
Available
via
http://www.ilog.com
, 1998.
10. J. Jaar and J.-L. Lassez. Constraint Logic Programming. In
14th ACM Princi-
ples of Programming Languages Conference
, pages 111{119, Munich, F.R.G., 1987.
ACM, New York.
11. Joxan Jaar, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap.
The
) language and system.
ACM Transactions on Programming Languages
and Systems (TOPLAS)
, 14(3):339{395, July 1992.
12. P. Klint. A meta{environment for generating programming environments.
CLP(
R
ACM
Transactions on Software Engineering and Methodology
, 2(2):176{201, 1993.
13. K. McAloon and C. Tretko. 2LP: Linear programming and logic programming. In
P. Van Hentenryck and V. Saraswat, editors,
Principles and Practice of Constraint
Programming
, pages 101{116. MIT Press, 1995.
14. A. Oplobedu, J. Marcovitch, and Y. Tourbier. CHARME: Un langage industriel
de programmation par contraintes, illustre par une application chez Renault. In
Ninth International Workshop on Expert Systems and their Applications: General
Conference, Volume 1
, pages 55{70, Avignon, France, 1989. EC2.
15. F. Pfenning, editor.
Types in Logic Programming
. MIT Press, Cambridge, Mas-
sachusetts, 1992.
Search WWH ::
Custom Search