skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Balzac
Material Type:
Livro 		Adicionar ao Meu Espaço

Balzac

Ernst Robert Curtius 1886-1956 Henri Jourdan

Paris Bernard Grasset 1933

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas  ANTONIO CANDIDO  (843.7 B1581cu 6.ed. e.2 ) e outros locais(Acessar)

2
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
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

Citações Citado por
3
RustBelt: securing the foundations of the rust programming language
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

Citações Citado por
4
Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization
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

Citações Citado por
5
Spy game: verifying a local generic solver in Iris
Spy game: verifying a local generic solver in Iris
Material Type:
Artigo 		Adicionar ao Meu Espaço

Spy game: verifying a local generic solver in Iris

de Vilhena, Paulo Emílio ; Pottier, François ; Jourdan, Jacques-Henri

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

ACM

Texto completo disponível

Citações Citado por
6
Time Credits and Time Receipts in Iris
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

Springer 2019

Sem texto completo

Citações Citado por
7
Formal verification of a concurrent bounded queue in a weak memory model
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

Citações Citado por
8
A Simple, Possibly Correct LR Parser for C11
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

Citações Citado por
9
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
Material Type:
Artigo 		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-07, Vol.2 (ICFP), p.1-30 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
Implementing and Reasoning About Hash-consed Data Structures in Coq
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

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Jourdan, H  (1)
  2. Curtius, E  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1959  (18)
  2. 1959Até1990  (8)
  3. 1991Até2005  (12)
  4. 2006Até2015  (23)
  5. Após 2015  (37)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (73)
  2. Francês  (26)
  3. Japonês  (7)
  4. Alemão  (4)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jourdan, H
  2. Curtius, E

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Programming Languages
  4. Technology
  5. Logic In Computer Science

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.