Coverart for item
The Resource PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA, program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT, (electronic resource)

PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA, program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT, (electronic resource)

Label
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
Title
PLPV '11
Title remainder
proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
Statement of responsibility
program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT
Title variation
  • Programming Languages Meets Program Verification'11
  • Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification
  • POPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011
Title variation remainder
proceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of America
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.76.V47
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
ACM Symposium on Principles of Programming Languages
http://library.link/vocab/relatedWorkOrContributorName
  • Jhala, Ranjit
  • Swierstra, Wouter
  • ACM Special Interest Group on Programming Languages
  • ACM Special Interest Group for Algorithms and Computation Theory
http://library.link/vocab/subjectName
  • Computer programs
  • Programming languages (Electronic computers)
Label
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA, program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT, (electronic resource)
Instantiates
Publication
Note
Includes index
Control code
OCM1bookssj0001125675
Dimensions
unknown
Extent
1 online resource (62 pages)
Isbn
9781450304870
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001125675
Label
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA, program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT, (electronic resource)
Publication
Note
Includes index
Control code
OCM1bookssj0001125675
Dimensions
unknown
Extent
1 online resource (62 pages)
Isbn
9781450304870
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001125675

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...