skip to main content
previous page 1 Resultados 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
11
Material Type:
Artigo
Adicionar ao Meu Espaço

Higher-Order Symbolic Execution via Contracts

Tobin-Hochstadt, Sam ; Van Horn, David

Texto completo disponível

12
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

Darais, David ; Van Horn, David

Texto completo disponível

13
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive Galois Connections

Darais, David ; Van Horn, David

J. Funct. Prog. 29 (2019) e11 [Periódico revisado por pares]

Texto completo disponível

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

Pushdown Control-Flow Analysis for Free

Gilray, Thomas ; Lyde, Steven ; Adams, Michael D. ; Might, Matthew ; Van Horn, David

Texto completo disponível

15
Material Type:
Artigo
Adicionar ao Meu Espaço

A family of abstract interpretations for static analysis of concurrent higher-order programs

Might, Matthew ; Van Horn, David

Texto completo disponível

16
Material Type:
Artigo
Adicionar ao Meu Espaço

Optimizing Abstract Abstract Machines

Johnson, J. Ian ; Labich, Nicholas ; Might, Matthew ; Van Horn, David

Texto completo disponível

17
Material Type:
Artigo
Adicionar ao Meu Espaço

AnaDroid: Malware Analysis of Android with User-supplied Predicates

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

Texto completo disponível

18
Material Type:
Artigo
Adicionar ao Meu Espaço

Running Probabilistic Programs Backwards

Toronto, Neil ; Mccarthy, Jay ; Van Horn, David

Texto completo disponível

19
Material Type:
Artigo
Adicionar ao Meu Espaço

Systematic Abstraction of Abstract Machines

Van Horn, David ; Might, Matthew

Texto completo disponível

20
Material Type:
Artigo
Adicionar ao Meu Espaço

The Complexity of Flow Analysis in Higher-Order Languages

Van Horn, David

Texto completo disponível

previous page 1 Resultados 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.