Articles liés

Articles avec le tag Development Tools

Site

Catégories

Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

Auteurs: Nicolas Berthier
Date: 2023-01-12
Catégorie: Formal Methods
Tags: Java, security, tooling, static analysis, formal methods, formal verification, Development Tools

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ... (Lire plus)

News from May and June

Auteurs: Çagdas Bozman
Date: 2013-07-01
Catégorie: OCamlPro
Tags: Compiler, Development Tools, OCaml, OCamlPro, wxocaml

It is time to give a brief summary of our recent activities. As usual, our contributions were focused on three main objectives: make the OCaml compiler faster and easier to use; make the OCaml developers more efficient by releasing new development tools and improving editor supports; organize and pa... (Lire plus)