skip to main content
Refinado por: autor: Van Horn, David remover autor: Tobin-Hochstadt, Sam remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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

3
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

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Higher-Order Symbolic Execution via Contracts

Tobin-Hochstadt, Sam ; Van Horn, David

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Semantic Solutions to Program Analysis Problems

Tobin-Hochstadt, Sam ; Van Horn, David

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Soft Contract Verification for Higher-Order Stateful Programs

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

Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL, Article 51. Publication date: January 2018

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Soft Contract Verification

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

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

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

Buscando em bases de dados remotas. Favor aguardar.