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: Nome da Publicação: Electronic Notes In Theoretical Computer Science remover assunto: Java remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
j-POST: a Java Toolchain for Property-Oriented Software Testing
j-POST: a Java Toolchain for Property-Oriented Software Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

j-POST: a Java Toolchain for Property-Oriented Software Testing

Falcone, Yliès ; Mounier, Laurent ; Fernandez, Jean-Claude ; Richier, Jean-Luc

Electronic notes in theoretical computer science, 2008-12, Vol.220 (1), p.29-41

Elsevier B.V

Texto completo disponível

Citações Citado por
12
Declarative Intraprocedural Flow Analysis of Java Source Code
Declarative Intraprocedural Flow Analysis of Java Source Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Declarative Intraprocedural Flow Analysis of Java Source Code

Nilsson-Nyman, Emma ; Hedin, Görel ; Magnusson, Eva ; Ekman, Torbjörn

Electronic notes in theoretical computer science, 2009-10, Vol.238 (5), p.155-171

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Effective and Efficient Compilation of Run-Time Generics in Java
Effective and Efficient Compilation of Run-Time Generics in Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Effective and Efficient Compilation of Run-Time Generics in Java

Viroli, Mirko

Electronic notes in theoretical computer science, 2005-11, Vol.138 (2), p.95-116

Elsevier B.V

Texto completo disponível

Citações Citado por
14
Using CLP Simplifications to Improve Java Bytecode Termination Analysis
Using CLP Simplifications to Improve Java Bytecode Termination Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Spoto, Fausto ; Lu, Lunjin ; Mesnard, Fred

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.129-144

Elsevier B.V

Texto completo disponível

Citações Citado por
15
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java

Li, Xin ; Ogawa, Mizuhito

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.31-46

Elsevier B.V

Texto completo disponível

Citações Citado por
16
Rewriting Strategies in Java
Rewriting Strategies in Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rewriting Strategies in Java

Balland, Emilie ; Moreau, Pierre-Etienne ; Reilles, Antoine

Electronic notes in theoretical computer science, 2008-11, Vol.219, p.97-111

Elsevier B.V

Texto completo disponível

Citações Citado por
17
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics

Sasse, Ralf ; Meseguer, José

Electronic notes in theoretical computer science, 2007-07, Vol.176 (4), p.29-46

Elsevier B.V

Texto completo disponível

Citações Citado por
18
The Non-Interference Protection in BML
The Non-Interference Protection in BML
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Non-Interference Protection in BML

Schubert, Aleksy ; Walukiewicz-Chrząszcz, Daria

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.113-127

Elsevier B.V

Texto completo disponível

Citações Citado por
19
Soundly Handling Static Fields: Issues, Semantics and Analysis
Soundly Handling Static Fields: Issues, Semantics and Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Soundly Handling Static Fields: Issues, Semantics and Analysis

Hubert, Laurent ; Pichardie, David

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.15-30

Elsevier B.V

Texto completo disponível

Citações Citado por
20
Pervasive Load-Time Transformation for Transparently Distributed Java
Pervasive Load-Time Transformation for Transparently Distributed Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Pervasive Load-Time Transformation for Transparently Distributed Java

McGachey, Phil ; Hosking, Antony L. ; Moss, J. Eliot B.

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.47-64

Elsevier B.V

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. Recursos Online (40)
  2. Disponível na Biblioteca (1)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Brazilian Symposium on Formal Methods - SBMF
  2. Melo, A
  3. Silva, P

Neste Assunto:

  1. Java
  2. Java
  3. Computer Science
  4. Computer Science, Theory & Methods
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.