Item Details

Verification, Model Checking, and Abstract Interpretation [electronic resource]: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Jhala, Ranjit; Schmidt, David
Format
EBook; Book; Online
Published
New York : Springer Jan. 2011
Language
English
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser
ISBN
9783642182747, 3642182747 (Trade Paper)
Target Audience
Scholarly & Professional
Summary
Annotation
Description
Mode of access: World wide Web.
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details

  • LEADER 02294cam a22003852 4500
    001 u5362973
    003 SIRSI
    005 20181208061808.0
    006 m d
    007 cr n
    008 101214e20110111njua s|||||||| 2|eng|d
    010
      
      
    a| 2010942255
    020
      
      
    a| 9783642182747
    020
      
      
    a| 3642182747 (Trade Paper) c| USD 95.00 Retail Price (Publisher) 9| Active Record
    024
    3
      
    a| 9783642182747
    035
      
      
    a| (WaSeSS)ssj0000476824
    037
      
      
    a| 3642182747 b| 00024965
    040
      
      
    a| BIP US d| WaSeSS
    082
    0
    0
    a| 005.14 2| 22
    100
    1
      
    a| Jhala, Ranjit e| Editor 4| edt
    245
    1
    0
    a| Verification, Model Checking, and Abstract Interpretation h| [electronic resource]: b| 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    260
      
      
    a| New York : b| Springer c| Jan. 2011
    440
      
    0
    a| Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
    520
    8
      
    a| Annotation b| This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract Interpretation,VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of Programming Languages, POPL 2011.The 24 revised full papers presented together with 4 invited talks werecarefully reviewed and selected from 71 initial submissions. The papersshowcases state-of-the-art research in areas such as verification, modelchecking, abstract interpretation and address any programming paradigm,including concurrent, constraint, functional, imperative, logic andobject-oriented programming. Further topics covered are static analysis,deductive methods, program certification, debugging techniques, abstractdomains, type systems, and optimization.
    521
      
      
    a| Scholarly & Professional b| Springer
    538
      
      
    a| Mode of access: World wide Web.
    655
      
    0
    a| Electronic books.
    690
      
      
    a| Computer Programs
    692
      
      
    a| Computers x| General
    700
    1
      
    a| Schmidt, David e| Editor 4| edt
    710
    2
      
    a| ACM Digital Library
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0000476824&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(5362973.1) w| WEB i| 5362973-1001 l| INTERNET m| UVA-LIB t| INTERNET

Availability

Google Preview

Read Online