skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Van Horn, David remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Deciding $k$CFA is complete for EXPTIME

Van Horn, David ; Mairson, Harry G.

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

From Principles to Practice with Class in the First Year

Tobin-Hochstadt, Sam ; Van Horn, David

EPTCS 136, 2013, pp. 1-15

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Pushdown Exception-Flow Analysis of Object-Oriented Programs

Liang, Shuying ; Might, Matthew ; Gilray, Thomas ; Van Horn, David

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Size-Change Termination as a Contract

Nguyen, Phuc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam ; Van Horn, David

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '19), June 22-26, 2019, Phoenix, AZ, USA

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstracting Definitional Interpreters

Darais, David ; Labich, Nicholas ; Nguyen, Phuc C. ; Van Horn, David

Proc. ACM Program. Lang. 1, ICFP, Article 12 (September 2017)

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)

Vazou, Niki ; Breitner, Joachim ; Kunkel, Will ; Van Horn, David ; Hutton, Graham

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Higher-order symbolic execution for contract verification and refutation

Nguyen, Phuc C. ; Tobin-Hochstadt, Sam ; Van Horn, David

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Mechanically Verified Calculational Abstract Interpretation

Darais, David ; Van Horn, David

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstracting Abstract Control (Extended)

Johnson, J. Ian ; Van Horn, David

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Flow analysis, linearity, and PTIME

Van Horn, David ; Mairson, Harry G.

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. Revistas revisadas por pares (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (37)
  2. Anais de Congresso  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2012  (11)
  2. 2012Até2013  (12)
  3. 2014Até2015  (10)
  4. 2016Até2018  (7)
  5. Após 2018  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Van Horn, David
  2. Might, Matthew
  3. Van Horn, D
  4. Tobin-Hochstadt, Sam
  5. Nguyen, Phuc C.

Buscando em bases de dados remotas. Favor aguardar.