Virgile Prevosto

Artificial Intelligence · 2008–2015

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Virgile Prevosto trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jean-Christophe Filliâtre (in Artificial Intelligence)

Papers from Virgile Prevosto's perspective

Ordered by how strongly the researchers Virgile Prevosto trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. The C++ programming language (2nd ed.)
  4. Preliminary design of JML: a behavioral interface specification language for java (SOEN)
  5. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  6. The ASTREÉ Analyzer
  7. An axiomatic basis for computer programming
  8. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
  9. A and V
  10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers