![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Bernard P. Serpette
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c19]Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette
:
MidifilePerformer: a case study for chronologies. FARM@ICFP 2021: 13-22
2010 – 2019
- 2019
- [c18]Nic Volanschi, Bernard P. Serpette:
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. RV 2019: 393-401 - 2018
- [j7]Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel:
A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2(4): 192:1-192:26 (2018) - [c17]Nic Volanschi, Bernard P. Serpette, Charles Consel:
Implementing a semi-causal domain-specific language for context detection over binary sensors. GPCE 2018: 66-78 - 2017
- [j6]Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. 3(2): 09:1-09:2 (2017) - [c16]Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference. ECOOP 2017: 7:1-7:27 - 2014
- [c15]Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux:
Unification des couleurs dans un λ-calcul polychrome. JFLA 2014: 65-76 - 2012
- [c14]Gérard Boudol, Gustavo Petri, Bernard P. Serpette:
Relaxed Operational Semantics of Concurrent Programming Languages. EXPRESS/SOS 2012: 19-33 - 2011
- [c13]Bernard P. Serpette, Manuel Serrano:
An interpreter for server-side hop. DLS 2011: 1-12
2000 – 2009
- 2009
- [j5]Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009) - [j4]Didier Parigot, Bernard P. Serpette:
Qui sème la fonction, récolte le tuyau typé. Stud. Inform. Univ. 7(2): 1-19 (2009) - [c12]Didier Parigot, Bernard P. Serpette:
Qui sème la fonction, récolte le tuyau typé. JFLA 2009: 225-244 - 2008
- [j3]Laurence Rideau, Bernard P. Serpette, Xavier Leroy:
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reason. 40(4): 307-326 (2008) - [j2]Luigi Liquori
, Bernard P. Serpette:
iRho: an imperative rewriting calculus. Math. Struct. Comput. Sci. 18(3): 467-500 (2008) - 2004
- [j1]Yannis Bres, Bernard P. Serpette, Manuel Serrano:
Bigloo.NET: compiling Scheme to .NET CLR. J. Object Technol. 3(9): 71-94 (2004) - [c11]Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
Asynchronous and deterministic objects. POPL 2004: 123-134 - [c10]Luigi Liquori, Bernard P. Serpette:
iRho: an imperative rewriting calculus. PPDP 2004: 167-178 - [c9]Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette:
Scheme fair threads. PPDP 2004: 203-214 - 2003
- [c8]Ludovic Henrio, Bernard P. Serpette:
A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110 - 2002
- [c7]Bernard P. Serpette, Manuel Serrano:
Compiling scheme to JVM bytecode: : a performance study. ICFP 2002: 259-270 - 2001
- [c6]Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57 - [c5]Gilles 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
- [c4]Gilles Barthe, Bernard P. Serpette:
Static Reduction Analysis for Imperative Object Oriented Languages. LPAR 2000: 344-361
1990 – 1999
- 1999
- [c3]Gilles Barthe, Bernard P. Serpette:
Partial Evaluation and Non-interference for Object Calculi. Fuji International Symposium on Functional and Logic Programming 1999: 53-67 - 1992
- [c2]Bernard P. Serpette:
Approximations d'évaluateurs fonctionnels. WSA 1992: 79-90 - 1991
- [c1]Christian Queinnec, Bernard P. Serpette:
A Dynamic Extent Control Operator for Partial Continuations. POPL 1991: 174-184
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint