Searching for authors named "Xavier Leroy" – sorted by Relevance.
53 documents found, showing 1 through 10.
Next 10 →
-
On-card Bytecode Verification for Java Card
- …On-card Bytecode Verication for Java Card Xavier Leroy Trusted Logic ? 5, rue du Bailliage…
- Cited by 21 (0 self) – Add To MetaCart
-
Bytecode verification on Java smart cards
- …Bytecode verification on Java smart cards Xavier Leroy ∗† Draft of an article to appear…
- Cited by 29 (2 self) – Add To MetaCart
-
Coinductive big-step operational semantics
- …Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B…
- Cited by 8 (2 self) – Add To MetaCart
-
An overview of Types in Compilation
- …An overview of Types in Compilation ⋆ Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, 78153…
- Cited by 2 (0 self) – Add To MetaCart
-
Computer Security from a Programming Language and Static Analysis Perspective (Extended Abstract)
- … (Extended abstract of invited lecture) Xavier Leroy INRIA Rocquencourt and Trusted Logic S.A. Domaine de…
- Cited by 1 (0 self) – Add To MetaCart
-
A formally verified compiler backend
- …A formally verified compiler back-end XAVIER LEROY INRIA Paris-Rocquencourt This article describes…
- Cited by 1 (0 self) – Add To MetaCart
-
Java Bytecode Verification: An Overview
- …Java bytecode verication: an overview Xavier Leroy INRIA Rocquencourt and Trusted Logic S…
- Cited by 37 (2 self) – Add To MetaCart
-
Unboxed Objects and Polymorphic Typing
- … and polymorphic typing Xavier Leroy Ecole Normale Superieure and INRIA Abstract This paper presents a program…
- Cited by 161 (5 self) – Add To MetaCart
-
A Modular Module System
- … Cambridge University Press A modular module system XAVIER LEROY INRIA Rocquencourt, B.P. 105, 78153 Le…
- Cited by 59 (0 self) – Add To MetaCart
-
Manifest Types, Modules, and Separate Compilation
- …, and separate compilation Xavier Leroy Stanford University Abstract This paper presents a variant of the SML…
- Cited by 193 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
