Expertise Cobol @ OCamlPro

Présentation

OCamlPro est une entreprise française de développement logiciel, avec une expertise forte dans les langages de programmation et les méthodes formelles. Nos développeurs et experts développent du logiciel à haute valeur ajoutée depuis plus de 10 ans.

Au cours de ces années, nous avons touché à de nombreux domaines, parmi lesquels:

• Blockchains: nous avons audité le générateur de bytecode en Rust et les smart contracts en Solidity de la blockchain Everscale, nous avons développé les prototypes des blockchains Tezos et Dune Network, etc.
• Outils de développement: nous avons développé une interface web en Rust pour le profiler mémoire statistique d'OCaml, nous avons développé et maintenons le gestionnaire de paquets Opam, etc.
• Compilateurs et DSLs: nous sommes membres de l'équipe compilateur d'OCaml, nous développons le compilateur optimisant Flambda, et nous avons créé les langages Liquidity et Love pour l'écriture de smart contracts.
• Méthodes formelles: nous avons développé plusieurs outils de méthodes formelles en Rust, et nous maintenons le proveur automatique Alt-Ergo.
• Éducation: nous sommes tous diplomés des meilleures écoles d'ingénieurs françaises et des meilleures universités, des niveaux masters aux docteurs.

Dans les dernières années, nous avons commencé à étudier le langage Cobol, et nous nous sommes bati une connaisance forte de sa spécification et de son utilisation. En particulier, nous avons été impliqués:

• GNUCobol: nous sommes les contributeurs principaux du support du dialecte GCos dans GNUCobol, le seul compilateur open-source pour Cobol;
• Outillage:: nous avons développé Superbol, une plateforme pour parser, typer, analyser et transpiler les programmes Cobol. Cette plateforme peut être modifiée pour cibler d'autres langages de programmation, ou d'autres dialectes Cobol;

Agrément CIR: OCamlPro bénéficie d'un agrément CIR, permettant à ses clients de récupérer 30% des coûts sur les travaux de R&D qui lui sont sous-traités, via le Crédit Impôt Recherche.

Nos Services

Notre équipe d'experts Cobol est prête à travailler avec vous. Nous pouvons fournir les services suivants:

• Conseil et support pendant vos projets de développement logiciel en Cobol:
  • Réponses rapides à toutes vos questions autour du langage Cobol, mais aussi de la programmation en général;
  • Investigation sur les différences entre implémentations (différences entre dialectes, différences entre versions, etc.);
  • Aide locale pour la correction de certains bugs
  • Revue de parties de votre code et conseils d'améliorations
• Revue de code pour le suivi des meilleures pratiques de développement Cobol
• Prototypage et développement d'outils pour améliorer la productivité de vos équipes Cobol, par des ingénieurs spécialisés en R&D et pouvant bénéficier du Crédit Impôt Recherche via notre agrément CIR
• Modernisation logicielle depuis Cobol vers d'autres langages ou dialectes;
• Formations Cobol: plusieurs formations sur Cobol sont disponibles sur notre site de formations dédié : training.ocamlpro.com

Nos services sont accessibles aussi bien aux développeurs individuels qu'aux équipes plus conséquentes.