Amazon cover image
Image from Amazon.com

Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 1503.Publication details: Berlin ; New York : Springer, ©1998.Description: 1 online resource (ix, 380 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540497271
  • 3540497277
Other title:
  • SAS '98
Subject(s): Genre/Form: Additional physical formats: Print version:: Static analysis.DDC classification:
  • 005.1 21
LOC classification:
  • QA76.6 .I5733 1998eb
Other classification:
  • 54.51
  • SS 1998
  • SS 4800
  • 28
  • DAT 310f
Online resources:
Contents:
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 array elements 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 / Franc̜ois Fages, Roberta Gori -- The correctness 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 symbolic semantics 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 -- A first-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 abstract interpretations 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 analysis of constraint logic programs / Julio C. Peralta, John P. Gallagher, Hüseyin Saǧlam -- Improving control in functional logic program specialization / E. Albert [and others] -- 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 the hidden copy problem / Deepak Goyal, Robert Paige -- A tutorial on domain theory in abstract interpretation / Roberto Giacobazzi -- Program analysis as model checking of abstract interpretations / David Schmidt, Bernhard Steffen -- Certifying, optimizing compilation / Peter Lee.
Summary: This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations."
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

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 array elements 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 / Franc̜ois Fages, Roberta Gori -- The correctness 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 symbolic semantics 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 -- A first-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 abstract interpretations 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 analysis of constraint logic programs / Julio C. Peralta, John P. Gallagher, Hüseyin Saǧlam -- Improving control in functional logic program specialization / E. Albert [and others] -- 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 the hidden copy problem / Deepak Goyal, Robert Paige -- A tutorial on domain theory in abstract interpretation / Roberto Giacobazzi -- Program analysis as model checking of abstract interpretations / David Schmidt, Bernhard Steffen -- Certifying, optimizing compilation / Peter Lee.

Print version record.

This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations."

English.

Powered by Koha