Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Contractor programming

2009229 citationsJournal Articlegreen Open Access

Authors

Gilles Chabert · École Centrale de Nantes

Luc Jaulin · École nationale supérieure de techniques avancées Bretagne

Topics & Keywords

Logic, programming, and type systems Formal Methods in Verification Constraint Satisfaction and Optimization

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Artificial Intelligence

Volume 173, Issue 11, pp. 1079-1100

DOI: 10.1016/j.artint.2009.03.002

Field-Weighted Citation Impact: 12.70

Contractor programming | Researchclopedia