dblp.uni-trier.dewww.uni-trier.de

Bernard P. Serpette Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
16 Didier Parigot, Bernard P. Serpette: Qui sème la fonction, récolte le tuyau typé. JFLA 2009: 225-244
15EEDenis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009)
2008
14EELaurence Rideau, Bernard P. Serpette, Xavier Leroy: Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reasoning 40(4): 307-326 (2008)
13EELuigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. Mathematical Structures in Computer Science 18(3): 467-500 (2008)
2004
12EEDenis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous and deterministic objects. POPL 2004: 123-134
11EELuigi Liquori, Bernard P. Serpette: iRho: an imperative rewriting calculus. PPDP 2004: 167-178
10EEManuel Serrano, Frédéric Boussinot, Bernard P. Serpette: Scheme fair threads. PPDP 2004: 203-214
9EEYannis Bres, Bernard P. Serpette, Manuel Serrano: Bigloo.NET: compiling Scheme to .NET CLR. Journal of Object Technology 3(9): 71-94 (2004)
2003
8 Ludovic Henrio, Bernard P. Serpette: A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110
2002
7EEBernard P. Serpette, Manuel Serrano: Compiling scheme to JVM bytecode: : a performance study. ICFP 2002: 259-270
2001
6EEDenis Caromel, Ludovic Henrio, Bernard P. Serpette: Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57
5EEGilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa: A Formal Executable Semantics of the JavaCard Platform. ESOP 2001: 302-319
2000
4EEGilles Barthe, Bernard P. Serpette: Static Reduction Analysis for Imperative Object Oriented Languages. LPAR 2000: 344-361
1999
3 Gilles Barthe, Bernard P. Serpette: Partial Evaluation and Non-inference for Object Calculi. Fuji International Symposium on Functional and Logic Programming 1999: 53-67
1992
2 Bernard P. Serpette: Approximations d'évaluateurs fonctionnels. WSA 1992: 79-90
1991
1 Christian Queinnec, Bernard P. Serpette: A Dynamic Extent Control Operator for Partial Continuations. POPL 1991: 174-184

Coauthor Index

1Gilles Barthe [3] [4] [5]
2Frédéric Boussinot [10]
3Yannis Bres [9]
4Denis Caromel [6] [12] [15]
5Guillaume Dufay [5]
6Ludovic Henrio [6] [8] [12] [15]
7Line Jakubiec [5]
8Xavier Leroy [14]
9Luigi Liquori [11] [13]
10Didier Parigot [16]
11Christian Queinnec [1]
12Laurence Rideau [14]
13Manuel Serrano [7] [9] [10]
14Simão Melo de Sousa [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)