skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Annotations remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Error Localization for Sequential Effect Systems (Extended Version)
Material Type:
Artigo
Adicionar ao Meu Espaço

Error Localization for Sequential Effect Systems (Extended Version)

Gordon, Colin S ; Chaewon Yun

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
Multi-graded Featherweight Java
Material Type:
Artigo
Adicionar ao Meu Espaço

Multi-graded Featherweight Java

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola ; Zucca, Elena

arXiv.org, 2023-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Soundly Handling Linearity
Material Type:
Artigo
Adicionar ao Meu Espaço

Soundly Handling Linearity

Tang, Wenhao ; Hillerström, Daniel ; Lindley, Sam ; J Garrett Morris

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
Reversing Imperative Parallel Programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Reversing Imperative Parallel Programs

Hoey, James ; Ulidowski, Irek ; Yuen, Shoji

Electronic proceedings in theoretical computer science, 2017-09, Vol.255, p.51-66

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Validation of Modern JSON Schema: Formalization and Complexity
Material Type:
Artigo
Adicionar ao Meu Espaço

Validation of Modern JSON Schema: Formalization and Complexity

Attouche, Lyes ; Mohamed-Amine Baazizi ; Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo ; Scherzinger, Stefanie

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Kind Inference for the FreeST Programming Language
Material Type:
Artigo
Adicionar ao Meu Espaço

Kind Inference for the FreeST Programming Language

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T

arXiv.org, 2023-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Gradual Program Analysis for Null Pointers
Material Type:
Artigo
Adicionar ao Meu Espaço

Gradual Program Analysis for Null Pointers

Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua

arXiv.org, 2021-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Material Type:
Artigo
Adicionar ao Meu Espaço

Type Prediction With Program Decomposition and Fill-in-the-Type Training

Cassano, Federico ; Ming-Ho, Yee ; Shinn, Noah ; Guha, Arjun ; Holtzen, Steven

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Latte: Lightweight Aliasing Tracking for Java
Material Type:
Artigo
Adicionar ao Meu Espaço

Latte: Lightweight Aliasing Tracking for Java

Zimmerman, Conrad ; Gamboa, Catarina ; Fonseca, Alcides ; Aldrich, Jonathan

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
slash: A Technique for Static Configuration-Logic Identification
Material Type:
Artigo
Adicionar ao Meu Espaço

slash: A Technique for Static Configuration-Logic Identification

Alhanahnah, Mohannad ; Schubert, Philipp ; Reps, Thomas ; Jha, Somesh ; Bodden, Eric

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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 (973)
  2. Revistas revisadas por pares (556)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (809)
  2. Anais de Congresso  (216)
  3. Book Chapters  (7)
  4. magazinearticle  (6)
  5. Livros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1993  (7)
  2. 1993Até2001  (11)
  3. 2002Até2008  (53)
  4. 2009Até2016  (300)
  5. Após 2016  (675)
  6. Mais opções open sub menu

Idioma 

  1. Ndongo  (8)
  2. Chinês  (1)
  3. Alemão  (1)
  4. Japonês  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.