B. P. Serpette
AuthID: R-006-EVW
1
TÃTULO: A formal executable semantics of the JavaCard platform
AUTORES: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLICAÇÃO: 2001, FONTE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028
AUTORES: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLICAÇÃO: 2001, FONTE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TÃTULO: Static Reduction Analysis for Imperative Object Oriented Languages
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
INDEXADO EM: DBLP
DBLP3
TÃTULO: Partial evaluation and non-interference for object calculi
AUTORES: Barthe, G; Serpette, BP;
PUBLICAÇÃO: 1999, FONTE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
AUTORES: Barthe, G; Serpette, BP;
PUBLICAÇÃO: 1999, FONTE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
INDEXADO EM: WOS
WOS4
TÃTULO: Partial Evaluation and Non-interference for Object Calculi
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 1999, FONTE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 1999, FONTE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
INDEXADO EM: DBLP
DBLP