Projet Loco
Précédent : Diffusion des résultats
Remonter : Projet LOCO, Programmation en LOgique
- Livres et
monographies
- 1
- F. BENHAMOU, P.
VAN
HENTENRYCK (réd.),
CONSTRAINTS, Special Issue on Interval Constraints, vol.
2:2 ,
Kluwer, Oct. 1997.
- 2
- F. BENHAMOU (réd.),
Actes des sixièmes journées francophones de Programmation
Logique et Programmation par Contraintes ,
Hermès, Mai 1997.
- 3
- P. CODOGNET (réd.),
Science of Computer Programming, Special Issue on
Concurrent Constraint Programming, no. 1 & 2, vol. 30, à
paraître ,
Elsevier, Jan. 1998.
- Thèses et habilitations à diriger
des recherches
- 4
- F. BENHAMOU,
Contribution à l'étude de la résolution de contraintes
,
habilitation à diriger des recherches, Université d'Orléans,
Jan. 1997.
- 5
- P. CHAMBRE,
Contribution à la validation de programmes concurrents avec
contraintes ,
thèse de doctorat, Université d'Orléans, Jan. 1997.
- 6
- J.-H. RÉTY,
Langages Concurrents avec Contraintes: Communication par
Messages et Distribution ,
thèse de doctorat, Université d'Orléans, Jan. 1997.
- 7
- A. TESSIER,
Approche, en termes de squelettes de preuve, de la
sémantique et du diagnostic d'erreur des programmes logiques
avec contraintes ,
thèse de doctorat, Université d'Orléans, 1997.
- Articles
- 8
- F. BENHAMOU, L.
GRANVILLIERS,
« Automatic Generation of Numerical Redundancies for Non-Linear
Constraint Solving »,
Reliable Computing 3 , 3, 1997, p. 335-344.
- 9
- F. BENHAMOU, W.
OLDER,
« Applying Interval Arithmetic to Real, Integer and Boolean
Constraints »,
Journal of Logic Programming 32 , 1, Jui. 1997, p.
1-24.
- 10
- P. CODOGNET,
« The virtuality of Constraints and the constraints of
virtuality »,
CONSTRAINTS vol. 2, no. 1 , 1997.
- 11
- P. DERANSART,
« Debugging Systems for Constraint Programming (DiSCiPl) »,
The Newsletter of the European Network in Computational
Logic 3 , 1, Déc 1996.
- 12
- G. FERRAND, A.
TESSIER,
« Declarative Debugging »,
The Newsletter of the European Network in Computational
Logic 3 , 1, Dec. 1996.
- 13
- V. SARASWAT, P. V.
HENTENRYCK, P.
CODOGNET,
ET
AL.,
« Constraint Programming »,
ACM Computing Surveys, vol. 28 no. 4, Dec. ,
1996.
- 14
- P. VAN
HENTENRYCK, L.
MICHEL, F.
BENHAMOU,
« Newton: Constraint Programming over Non-linear
Constraints »,
Science of Computer Programming, Special Issue on
Concurrent Constraint Programming 30 , Jan. 1998,
à paraître.
- Communications à des manifestations
scientifiques
- 15
- F. BENHAMOU, F.
GOUALARD, L.
GRANVILLIERS,
« Programming with the DecLIC Language »,
in: Proceedings of the Second Workshop on Interval
Constraints ,
1997. Post-ILPS'97 workshop.
- 16
- F. BENHAMOU, F.
GOUALARD, L.
GRANVILLIERS,
« A Hybrid Consistency Notion for Speeding up Real Constraint
Solving »,
in: Proceedings of INTERVAL'98 ,
Nanjing, République populaire de Chine, 1998. À paraître.
- 17
- F. BENHAMOU, F.
GOUALARD,
« Towards Structuring the Constraint Store »,
in: Proceedings of the Workshop on ``Tools and Environments
for (Constraint) Logic Programming'' ,
1997. Post-ILPS'97 workshop.
- 18
- F. BUENO, P.
DERANSART, W.
DRABENT, G.
FERRAND, M.
HERMENEGILDO, J.
MALUSZYNSKI, G.
PUEBLA,
« On the Role of Semantic Approximations in Validation and
Diagnosis of Constraint Logic Programs »,
in: Proc. of the 3rd. Int'l Workshop on Automated
Debugging-AADEBUG'97 , U. of Linkoping Press, p.
155-170,
Linkoping, Sweden, Mai 1997,
ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html
.
- 19
- P. CODOGNET, E.
CHAILLOUX,
« Towards Visual Constraint Programming (abstract) »,
in: Proceedings of the 6th IEEE International Conference on
Visual Languages ,
1997. Capri, Italie, Sept. 1997.
- 20
- P. CODOGNET, Y.
GEORGET, F.
ROSSI,
« Implementing Constraint Retraction for Finite Domains »,
in: ASIAN'97, 3rd Asian Computing Conference , K. Ueda
(réd.), Spinger Verlag,
Kathmandu, Nepal, Déc. 1997.
- 21
- G. F. ET
ALEXANDRE
TESSIER,
« Clarification of the bases of Declarative Diagnosers for CLP
»,
in: Journées du GDR Programmation du CNRS , p.
219-230,
1997.
- 22
- M. FABRIS,
AL.,
« CP debugging Needs and Tools »,
in: Proc. of the 3rd. Int'l Workshop on Automated
Debugging-AADEBUG'97 , U. of Linkoping Press, p.
103-122,
Linkoping, Sweden, Mai 1997,
ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html
.
- 23
- G. FERRAND, A.
TESSIER,
« Positive and Negative Diagnosis for Constraint Logic Programs
in terms of proof skeletons »,
in: International Workshop on Automated Debugging
,
Jan. 1997.
- 24
- F. GOUALARD, L.
GRANVILLIERS,
« An Extension of the WAM for Cooperative Interval Solvers
»,
in: Proceedings of the Workshop on ``Parallelism and
Implementation Technology for (Constraint) Logic Programming
Languages'' ,
1997. Post-ILPS'97 workshop.
- 25
- L. GRANVILLIERS,
« A Symbolic-Numeric Framework for Solving Real Constraints
»,
in: Proceedings of SCAN'97, the GAMM/IMACS International
Symposium on Scientific Computing, Computer Arithmetic and
Validated Numerics , p. 13-16,
Lyon, France, 1997.
- 26
- L. GRANVILLIERS,
« Transformations symboliques et consistance de bloc de CSP
continus »,
in: Proceedings of JFPLC'97, the Sixth French Conference on
Logic and Constraint Programming , Hermès, p. 195-209,
Orléans, France, 1997.
- 27
- A. LALLOUET,
« DP-log : un langage logique data-parallèle »,
in: Journées Francophones de la Programmation Logique et de
la Programmation par Contraintes, JFPLC , F. Benhamou
(réd.), Hermès, p. 53-70,
Orléans, France, Mai, 26-28 1997.
- 28
- J.-H. RÉTY,
« Un Langage Distribué Concurrent avec Contraintes »,
in: Actes des sixièmes Journées Francophones de
Programmation Logique et Programmation par Contraintes ,
F. Benhamou (réd.), Hermès, p. 37-52,
Orléans, 1997.
- 29
- A. TESSIER,
« Declarative Debugging in Constraint Logic Programming »,
in: Asian Computing Science Conference , J. Jaffar
(réd.), Lecture Notes in Computer Science ,
1179 , Springer-Verlag, p. 64-73,
1996. (Also available as LIFO, University of Orléans, Technical
Report 96/09).
- 30
- A. TESSIER,
« Une nouvelle approche du diagnostic déclaratif en PLC »,
in: Pôle Contraintes et Programmation Logique ,
Journées du GDR Programmation du CNRS,
Novembre 1997.
- Rapports de
recherche
- 31
- F. BENHAMOU, F.
GOUALARD, L.
GRANVILLIERS,
« Optimiser la propagation d'intervalles par des méthodes de
recherche locale »,
rapport de recherche, IRISA-Rennes, Nov. 1997,
Journées du PRC-GDR ``Programmation''.
- 32
- F. BENHAMOU, F.
GOUALARD,
« Towards Structuring the Constraint Store »,
rapport de recherche, DiSCiPl ESPRIT Project, Sep. 1997,
Del. D.WP3.1.M1.1-1.
- 33
- G. FERRAND, A.
TESSIER,
« Completeness of the (Negative) Semantics revisited with
(Co-)Induction »,
rapport de recherche, LIFO, University of Orléans, 1997.
- 34
-
INRIA-ROCQUENCOURT/LIFO-ORLÉANS,
DecLIC 1.0a Tutorial and Reference Manual , Nov.
1997,
2nd draft.
- Divers
- 35
- J. DE
SIQUEIRA, P.
DERANSART, M. A.
DA
SILVA
BIGONHA,
« Basic Hyperpro functionalities and utilities », Mars
1997.
- 36
-
DISCIPL,
« Constraint Programming Debugging: Tools », Jui. 1997,
déliverable D.WP1.1.M1.1, édité par Pierre Deransart.
- 37
-
DISCIPL,
« First Progress Report », Oct. 1997,
édité par Pierre Deransart.
- 38
- G. FERRAND, A.
TESSIER,
« Clarification of the bases of Declarative Diagnosers for CLP
», Jui. 1997,
deliverable D.WP2.1.M1.1, DiSCiPl (ESPRIT aacute32).