This is a library and demo application for formal concept analysis implemented in Objective Caml. While to code has been tested fairly well, documentation is currently lacking. I just moved the code here and hope to supply more documentation. In the meantime, see the Manual in the Wiki.

A technical report http://code.google.com/p/colibri-ml/source/browse/trunk/doc/mining-patterns.pdf that is part of the code repository explains how concept analysis can find syntactic patterns and violations of such pattern. The report presents as an application mining code patterns from C applications. Violations of patterns may constitute software defects. This technique is related to frequent item sets but provides a more holistic view. Another application is documented in the paper Detecting object usage anomalies.

@InProceedings{1287632,
  author =       "Andrzej Wasylkowski and Andreas Zeller and Christian
                 Lindig",
  title =        "Detecting object usage anomalies",
  booktitle =    "ESEC-FSE '07: Proceedings of the the 6th joint meeting
                 of the European Software Engineering Conference and the
                 ACM SIGSOFT symposium on The foundations of software
                 engineering",
  year =         "2007",
  ISBN =         "978-1-59593-811-4",
  pages =        "35--44",
  location =     "Dubrovnik, Croatia",
  doi =          "http://doi.acm.org/10.1145/1287624.1287632",
  publisher =    "ACM",
  address =      "New York, NY, USA",
}