Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009316211/catalog> ?p ?o. }

• catalog abstract "This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11–13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14–16,2004.The purposeofVMCAIistoprovideaforumforresearchersfromthreecommunities— veri?cation, model checking, and abstract interpretation—which will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine thethreeareas.Withthegrowingneedforformaltoolstoreasonaboutcomplex, in?nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. This year’s meeting follows the four previous events in Port Je?erson (1997), Pisa (1998), Venice (2002), LNCS 2294 and New York (2003), LNCS 2575. In particular, we thank VMCAI 2003’s sponsor, the Courant Institute at New York University, for allowing us to apply a monetary surplus from the 2003 meeting to this one. The program committee selected 22 papers out of 68 on the basis of three - views.Theprincipalcriteriawererelevanceandquality.TheprogramofVMCAI 2004 included, in addition to the research papers, – a keynote speech by David Harel (Weizmann Institute, Israel) onAGrand Challenge for Computing: Full Reactive Modeling of a Multicellular Animal, – aninvitedtalkbyDawsonEngler(StanfordUniversity,USA)onStaticAn- ysis Versus Software Model Checking for Bug Finding, – an invited talk by Mooly Sagiv (Tel Aviv University, Israel) called On the Expressive Power of Canonical Abstraction,and –atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.".
• catalog alternative "VMCAI 2004".
• catalog contributor b13152855.
• catalog contributor b13152856.
• catalog contributor b13152857.
• catalog contributor b13152858.
• catalog created "2004.".
• catalog date "2004".
• catalog date "2004.".
• catalog dateCopyrighted "2004.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Security, Protocols, and Trust / J.D. Guttman -- Security Types Preserving Compilation / G. Barthe, A. Basu and T. Rezk -- History-Dependent Scheduling for Cryptographic Processes / V. Vanackere -- Construction of a Semantic Model for a Typed Assembly Language / G. Tan, A.W. Appel, K.N. Swadi and D. Wu -- Rule-Based Runtime Verification / H. Barringer, A. Goldberg, K. Havelund and K. Sen.".
• catalog description "This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11–13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14–16,2004.The purposeofVMCAIistoprovideaforumforresearchersfromthreecommunities— veri?cation, model checking, and abstract interpretation—which will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine thethreeareas.Withthegrowingneedforformaltoolstoreasonaboutcomplex, in?nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. ".
• catalog description "This year’s meeting follows the four previous events in Port Je?erson (1997), Pisa (1998), Venice (2002), LNCS 2294 and New York (2003), LNCS 2575. In particular, we thank VMCAI 2003’s sponsor, the Courant Institute at New York University, for allowing us to apply a monetary surplus from the 2003 meeting to this one. The program committee selected 22 papers out of 68 on the basis of three - views.Theprincipalcriteriawererelevanceandquality.TheprogramofVMCAI 2004 included, in addition to the research papers, – a keynote speech by David Harel (Weizmann Institute, Israel) onAGrand Challenge for Computing: Full Reactive Modeling of a Multicellular Animal, – aninvitedtalkbyDawsonEngler(StanfordUniversity,USA)onStaticAn- ysis Versus Software Model Checking for Bug Finding, – an invited talk by Mooly Sagiv (Tel Aviv University, Israel) called On the Expressive Power of Canonical Abstraction,and –atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. ".
• catalog description "We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.".
• catalog extent "xi, 324 p.:".
• catalog identifier "3540208038 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2937".
• catalog issued "2004".
• catalog issued "2004.".
• catalog language "eng".
• catalog publisher "Berlin New York : Springer,".
• catalog subject "005.1/4 22".
• catalog subject "Computer programs Verification Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "QA76.76.V47 V53 2004".
• catalog subject "Software engineering.".
• catalog tableOfContents "Security, Protocols, and Trust / J.D. Guttman -- Security Types Preserving Compilation / G. Barthe, A. Basu and T. Rezk -- History-Dependent Scheduling for Cryptographic Processes / V. Vanackere -- Construction of a Semantic Model for a Typed Assembly Language / G. Tan, A.W. Appel, K.N. Swadi and D. Wu -- Rule-Based Runtime Verification / H. Barringer, A. Goldberg, K. Havelund and K. Sen.".
• catalog title "VMCAI 2004".
• catalog title "Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).".
• catalog type "Conference proceedings. fast".
• catalog type "Venedig (2004) swd".
• catalog type "text".