skip to main content
Idioma:
Mostrar Somente
Refinado por: Lista de Todas as Versões Yang, Hongseok remover Lista de Todas as Versões Antes de2005 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Separation and information hiding
Separation and information hiding
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Separation and information hiding

O'Hearn, Peter ; Yang, Hongseok ; Reynolds, John

Annual Symposium on Principles of Programming Languages: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 14-16 Jan. 2004, 2004, p.268-280

ACM

Texto completo disponível

Citações Citado por
2
Correctness of data representations involving heap data structures
Correctness of data representations involving heap data structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correctness of data representations involving heap data structures

Reddy, Uday S. ; Yang, Hongseok

Science of computer programming, 2004-03, Vol.50 (1), p.129-160 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic Construction of Hoare Proofs from Abstract Interpretation Results

Seo, Sunae ; Yang, Hongseok ; Yi, Kwangkeun

Lecture notes in computer science, 2003, p.230-245 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Possible worlds and resources: the semantics of BI
Possible worlds and resources: the semantics of BI
Material Type:
Artigo 		Adicionar ao Meu Espaço

Possible worlds and resources: the semantics of BI

Pym, David J. ; O'Hearn, Peter W. ; Yang, Hongseok

Theoretical computer science, 2004-05, Vol.315 (1), p.257-305 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Correctness of Data Representations Involving Heap Data Structures
Correctness of Data Representations Involving Heap Data Structures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Correctness of Data Representations Involving Heap Data Structures

Reddy, Uday S. ; Yang, Hongseok

Programming Languages and Systems, p.223-237 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
A Semantic Basis for Local Reasoning
A Semantic Basis for Local Reasoning
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Semantic Basis for Local Reasoning

Yang, Hongseok ; O’Hearn, Peter

Foundations of Software Science and Computation Structures, 2002, p.402-416 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Type reconstruction for syntactic control of interference. 2
Type reconstruction for syntactic control of interference. 2
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Type reconstruction for syntactic control of interference. 2

Hongseok Yang ; Huang, H.

Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225), 1998, p.164-173

IEEE

Texto completo disponível

Citações Citado por
8
Separation and information hiding
Separation and information hiding
Material Type:
Artigo 		Adicionar ao Meu Espaço

Separation and information hiding

O'Hearn, Peter W. ; Yang, Hongseok ; Reynolds, John C.

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004-01, Vol.39 (1), p.268-280

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5)

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

Buscando em bases de dados remotas. Favor aguardar.