Related Articles

Articles tagged by Development Tools

Home

Categories

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

Authors: Nicolas Berthier
Date: 2023-01-12
Category: 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, ... (Read more)

News from May and June

Authors: Çagdas Bozman
Date: 2013-07-01
Category: 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... (Read more)