A Parametrized Polyvariant Bytecode Verifier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ludovic Henrio, Bernard P. Serpette. A Parametrized Polyvariant Bytecode Verifier. In Jean-Christophe Filliâtre, editor, Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003. Collection Didactique, pages 95-110, INRIA, 2003.

Identified as Ludovic Henrio This author has not been identified. Look up 'Bernard P. Serpette' in Google

runs on WebDSL