, A Theory of Objects Tclp: a generic type checker for constraint logic programs, 1996.
, From typing constraints to typed constraint systems in CHR, Third workshop on Rule-based Constraint Reasoning and Programming, CP'01, Cyprus, 2001.
, Typing constraint logic programs, Theory and Practice of Logic Programming, vol.1, issue.06, 2001.
DOI : 10.1017/S1471068401001120
, Satisfying subtype inequalities in polynomial space, Proceedings of the 1997 International Static Analysis Symposium, number 1302 in LNCS, 1997.
, Theory and practice of constraint handling rules, Journal of Logic Programming , Special Issue on Constraint Logic Programming, vol.37, issue.1-3, pp.95-138, 1998.
, Automatic discovery of covariant read-only fields, Ninth International Workshop on Foundations of Object-Oriented Languages, 2002.
DOI : 10.1145/1053468.1053472
, A versatile constraint-based type inference system, Nordic Journal of Computing, vol.7, issue.4, pp.312-347, 2000.
, Simplifying Subtyping Constraints: A Theory, Information and Computation, vol.170, issue.2, pp.153-183, 2001.
DOI : 10.1006/inco.2001.2963
, Satisfiability of inequalities in a poset, Fundamenta Informaticae, vol.28, issue.12, pp.165-182, 1996.
, Logic Programming over Polymorphically Order-Sorted Types, 1989.
, Subtyping constrained types, Proc. 3rd Int'l Symposium on Static Analysis, number 1145 in LNCS, pp.349-365, 1996.
DOI : 10.1007/3-540-61739-6_52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5192
, François Fages terminates, C verifies the properties 4) et 5)
, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.
, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399