Soufflé est une variante de Datalog destinée aux concepteurs d'outils créant des analyses en clauses de Horn. Soufflé synthétise un programme C++ parallèle natif à partir d'une spécification logique.
★ 1 155+0Évolution des étoiles sur les 7 derniers jours
