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

Other author Levi, G. (Giorgio), 1942-
Format Book
Publication InfoBerlin ; New York : Springer, ©1998.
Descriptionix, 380 pages : illustrations ; 24 cm.
Subjects
Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.

SeriesLecture notes in computer science ; 1503
Lecture notes in computer science 1503. ^A466336
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 ... [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 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.
Bibliography noteIncludes bibliographical references and index.
LCCN 98040040
ISBN3540650148 (softcover : alk. paper)