skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Security Typings by Abstract Interpretation
Security Typings by Abstract Interpretation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Security Typings by Abstract Interpretation

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.360-375 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
12
Efficient multi-level generating extensions for program specialization
Efficient multi-level generating extensions for program specialization
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Efficient multi-level generating extensions for program specialization

Glück, Robert ; Jørgensen, Jesper

Programming Languages: Implementations, Logics and Programs, 1995, p.259-278 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
13
Compactly Representing First-Order Structures for Static Analysis
Compactly Representing First-Order Structures for Static Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Compactly Representing First-Order Structures for Static Analysis

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.196-212 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
14
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.230-246 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
15
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Nonuniform Alias Analysis of Recursive Data Structures and Arrays

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.36-51 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
16
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.444-460 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
17
Refinement of LTL Formulas for Abstract Model Checking
Refinement of LTL Formulas for Abstract Model Checking
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Refinement of LTL Formulas for Abstract Model Checking

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.395-410 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
18
Reuse of Results in Termination Analysis of Typed Logic Programs
Reuse of Results in Termination Analysis of Typed Logic Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Reuse of Results in Termination Analysis of Typed Logic Programs

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.477-492 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
19
Modular Control Flow Analysis for Libraries
Modular Control Flow Analysis for Libraries
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modular Control Flow Analysis for Libraries

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.165-179 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
20
Analysing Approximate Confinement under Uniform Attacks
Analysing Approximate Confinement under Uniform Attacks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Analysing Approximate Confinement under Uniform Attacks

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.310-325 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
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 (64)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (1)
  2. 1995Até2001  (31)
  3. 2002Até2014  (33)
  4. 2015Até2018  (16)
  5. Após 2018  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.