skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

JUNG, RALF ; KREBBERS, ROBBERT ; JOURDAN, JACQUES-HENRI ; BIZJAK, ALEŠ ; BIRKEDAL, LARS ; DREYER, DEREK

Journal of functional programming, 2018, Vol.28 (e20), Article e20 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

2
Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization
Material Type:
Artigo
Adicionar ao Meu Espaço

Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization

Riviere, Marie-Karelle ; Yuan, Ying ; Jourdan, Jacques-Henri ; Dubois, Frédéric ; Zohar, Sarah

Statistical methods in medical research, 2018-02, Vol.27 (2), p.466-479 [Periódico revisado por pares]

London, England: SAGE Publications

Texto completo disponível

3
Formal verification of a concurrent bounded queue in a weak memory model
Material Type:
Artigo
Adicionar ao Meu Espaço

Formal verification of a concurrent bounded queue in a weak memory model

Mével, Glen ; Jourdan, Jacques-Henri

Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29 [Periódico revisado por pares]

Texto completo disponível

4
Time Credits and Time Receipts in Iris
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Time Credits and Time Receipts in Iris

Mével, Glen ; Jourdan, Jacques-Henri ; Pottier, François

https://hal.science/hal-0218, 2019, Vol.11423, p.3-29 [Periódico revisado por pares]

Springer

Texto completo disponível

5
A Simple, Possibly Correct LR Parser for C11
Material Type:
Artigo
Adicionar ao Meu Espaço

A Simple, Possibly Correct LR Parser for C11

Jourdan, Jacques-Henri ; Pottier, François

ACM 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: ACM

Texto completo disponível

6
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Krebbers, Robbert ; Jourdan, Jacques-Henri ; Jung, Ralf ; Tassarotti, Joseph ; Kaiser, Jan-Oliver ; Timany, Amin ; Charguéraud, Arthur ; Dreyer, Derek

Proceedings of ACM on programming languages, 2018, Vol.2 (ICFP), p.1-30 [Periódico revisado por pares]

ACM

Texto completo disponível

7
RustBelt: securing the foundations of the rust programming language
Material Type:
Artigo
Adicionar ao Meu Espaço

RustBelt: securing the foundations of the rust programming language

Jung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, Derek

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34 [Periódico revisado por pares]

ACM

Texto completo disponível

8
Validating LR(1) Parsers
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Validating LR(1) Parsers

Jourdan, Jacques-Henri ; Pottier, François ; Leroy, Xavier

Programming Languages and Systems, 2012, Vol.7211, p.397-416 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Implementing and Reasoning About Hash-consed Data Structures in Coq
Material Type:
Artigo
Adicionar ao Meu Espaço

Implementing and Reasoning About Hash-consed Data Structures in Coq

Braibant, Thomas ; Jourdan, Jacques-Henri ; Monniaux, David

Journal of automated reasoning, 2014-10, Vol.53 (3), p.271-304 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

10
The Essence of Higher-Order Concurrent Separation Logic
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

The Essence of Higher-Order Concurrent Separation Logic

Krebbers, Robbert ; Jung, Ralf ; Bizjak, Aleš ; Jourdan, Jacques-Henri ; Dreyer, Derek ; Birkedal, Lars

Programming Languages and Systems, 2017 (10201), p.696-723 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (29)
  2. Revistas revisadas por pares (24)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (20)
  2. Artigos  (18)
  3. magazinearticle  (2)
  4. Book Chapters  (2)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2013  (3)
  2. 2013Até2014  (7)
  3. 2015Até2016  (9)
  4. 2017Até2019  (11)
  5. Após 2019  (13)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.