Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008023858/catalog> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- catalog abstract "This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS’98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP’98 and several wo- shops. SAS’98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS’94,SAS’95,SAS’96andSAS’97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA’92 held in Bordeaux (France) and WSA’93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS’98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS’98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS’98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy“systemmanagers”.".
- catalog contributor b11134912.
- catalog contributor b11134913.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "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 -- ".
- catalog description "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.".
- catalog description "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 -- ".
- catalog description "Includes bibliographical references and index.".
- catalog description "This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS’98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP’98 and several wo- shops. SAS’98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS’94,SAS’95,SAS’96andSAS’97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA’92 held in Bordeaux (France) and WSA’93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS’98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS’98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS’98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy“systemmanagers”.".
- catalog extent "ix, 380 p. :".
- catalog identifier "3540650148 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1503".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1 21".
- catalog subject "Computer programming Congresses.".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog subject "QA76.6 .I5733 1998".
- catalog subject "QA76.6 .S716 1998".
- catalog subject "Software engineering.".
- catalog tableOfContents "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 -- ".
- catalog tableOfContents "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.".
- catalog tableOfContents "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 -- ".
- catalog title "Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Pisa (1998) swd".
- catalog type "text".