Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Iris from the ground up: A modular foundation for higher-order concurrent separation logicJUNG, RALF ; KREBBERS, ROBBERT ; JOURDAN, JACQUES-HENRI ; BIZJAK, ALEŠ ; BIRKEDAL, LARS ; DREYER, DEREKJournal of functional programming, 2018, Vol.28 (e20), Article e20 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomizationRiviere, Marie-Karelle ; Yuan, Ying ; Jourdan, Jacques-Henri ; Dubois, Frédéric ; Zohar, SarahStatistical methods in medical research, 2018-02, Vol.27 (2), p.466-479 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
|
3 |
Material Type: Artigo
|
Formal verification of a concurrent bounded queue in a weak memory modelMével, Glen ; Jourdan, Jacques-HenriProceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Time Credits and Time Receipts in IrisMével, Glen ; Jourdan, Jacques-Henri ; Pottier, Françoishttps://hal.science/hal-0218, 2019, Vol.11423, p.3-29 [Periódico revisado por pares]SpringerTexto completo disponível |
|
5 |
Material Type: Artigo
|
A Simple, Possibly Correct LR Parser for C11Jourdan, Jacques-Henri ; Pottier, FrançoisACM transactions on programming languages and systems, 2017-09, Vol.39 (4), p.1-36, Article 14 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
MoSeL: a general, extensible modal framework for interactive proofs in separation logicKrebbers, Robbert ; Jourdan, Jacques-Henri ; Jung, Ralf ; Tassarotti, Joseph ; Kaiser, Jan-Oliver ; Timany, Amin ; Charguéraud, Arthur ; Dreyer, DerekProceedings of ACM on programming languages, 2018, Vol.2 (ICFP), p.1-30 [Periódico revisado por pares]ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
RustBelt: securing the foundations of the rust programming languageJung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, DerekProceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34 [Periódico revisado por pares]ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Validating LR(1) ParsersJourdan, Jacques-Henri ; Pottier, François ; Leroy, XavierProgramming Languages and Systems, 2012, Vol.7211, p.397-416 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
Implementing and Reasoning About Hash-consed Data Structures in CoqBraibant, Thomas ; Jourdan, Jacques-Henri ; Monniaux, DavidJournal of automated reasoning, 2014-10, Vol.53 (3), p.271-304 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
The Essence of Higher-Order Concurrent Separation LogicKrebbers, Robbert ; Jung, Ralf ; Bizjak, Aleš ; Jourdan, Jacques-Henri ; Dreyer, Derek ; Birkedal, LarsProgramming Languages and Systems, 2017 (10201), p.696-723 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |