Sites Inria

Version française

CROAP Research team

Design and Implementation of Programming Tools

  • Leader : Yves Bertot
  • Research center(s) : CRI Sophia Antipolis - Méditerranée
  • Field : Software engineering and symbolic computing
  • Theme : Semantics and Programming

Team presentation

The Croap project was dissolved on December 31, 1998.

Keywords: Programming environments Software engineering Distributed architecture Programming Semantics Natural semantics Prolog Logic programming Centaur