Idioma:

Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

International Static Analysis Symposium (11th 2004 Verona, Italy) Roberto Giacobazzi

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Autor: International Static Analysis Symposium (11th 2004 Verona, Italy)
Roberto Giacobazzi
Assuntos: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Programmation (Informatique) -- Congr es; Langages de programmation -- Congr es; Analyse statique; Langage de programmation; Datenfluss; Kontrollfluss; Programmanalyse; Programmtransformation; Programmverifikation; Statische Analyse; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); Static analysis; SAS; Kongress; Verona (2004)
Notas: Includes bibliographical references and author index.
Descrição: Invited talks -- Program and system verification -- Security and safety -- Pointer analysis -- Abstract interpretation and algorithms -- Shape analysis -- Abstract domain and data structures -- Shape analysis and logic -- Termination analysis
Títulos relacionados: Série:Lecture notes in computer science 3148
Editor: Berlin Springer New York
Data de criação/publicação: c2004
Formato: xi, 392 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 9 Avançar Ir para próxima página