skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

G Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1503 ) e outros locais(Acessar)

  • Título:
    Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
  • Autor: G Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)
  • Assuntos: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
  • Notas: Includes bibliographical references and index
  • Descrição: Bidirectional data flow analysis in code motion : myth and reality / Oliver Rüthing -- On a new method for dataflow analysis of Java virtual machine subroutines / Masami Hagiya, Akihiko Tozawa -- Enabling sparse constant propagation of arrayelements via array SSA form / Vivek Sarkar, Kathleen Knobe -- Assessing the effects of flow-sensitivity on pointer alias analyses / Michael Hind, Anthony Pioli -- Analysis of normal logic programs / Franøcois Fages, Roberta Gori -- Thecorrectness of set-sharing / Patricia M. Hill, Roberta Bagnara, Enea Zaffanella -- Deriving analysers by folding/unfolding of natural semantics and a case study : slicing / Valérie Gouranton -- A symbolicsemantics for abstract model checking /Francesca Levi -- Automatic determination of communication topologies in mobile systems / Arnaud Venet -- Constructing specific SOS semantics for concurrency via abstract interpretation /Chiara Bodei, Pierpaolo Degano, Corrado Priami -- Afirst-order language for expresing aliasing and type properties of logic programs / Paolo Volp[e -- Refining static analyses by trace-based partitioning using control flow / Maria Hendjieva, Stanislav Tzolovski -- Building complete abstractinterpretations in a linear logic-based setting / Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari -- On the power of homeomorphic embedding for online termination / Michael Leuschel -- Analysis of imperative programs through analysisof constraint logic programs
    / Julio C. Peralta, John P. Gallagher, Hüseyin Saéglam -- Improving control in functional logic program specialization / E. Albert ... [et al.] -- Directional type inference for logic programs / Witold Charatonik,Andreas Podelski -- Finite subtype inference with explicit polymorphism / Dominic Duggan -- Sparse Jacobian computation in automatic differentiation by static program analysis / M. Tadjouddine, F. Eyssette, C. Faure -- A new solution to thehidden copy problem / Deepak Goyal, Robert Paige -- A tu
  • Títulos relacionados: Série:Lecture notes in computer science 1503
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1998
  • Formato: ix, 380 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.