ocp-lint, A Plugin-based Style-Checker with Semantic PatchesReportar como inadecuado




ocp-lint, A Plugin-based Style-Checker with Semantic Patches - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 OCamlPro SAS 2 GALLIUM - Langages de programmation, types, compilation et preuves Inria de Paris

Abstract : In this talk, we will present ocp-lint, a new style-checker for OCaml projects. ocp-lint can typically be used to check pull-requests in a Github-style workflow. ocp-lint is highly ex-tensible, with a simple API to define new plu-gins that can be linked dynamically. ocp-lint is easily configurable, with plugin-and analysis-specific options and arguments. ocp-lint can also use semantic patches, a patch-style format to describe code patterns to detect. Warnings found by ocp-lint are stored in a database, to avoid useless recomputations and ease the development of external tools and GUIs to exploit its results.





Autor: Çagdas Bozman - Théophane Huffschmitt - Michael Laporte - Fabrice Le Fessant -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados