Memorias de investigación
Communications at congresses:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Year:2007

Research Areas
  • Programming language

Information
Abstract
Articulo en workshop
International
Si
Congress
ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07) (publicado en ENTCS, Elsevier)
960
Place
Braga, Portugal
Reviewers
Si
ISBN/ISSN
Start Date
End Date
From page
To page
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial