PLPV '09 proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.

Author/creator PLPV '09
Format Electronic
Publication InfoNew York, N.Y. : Association for Computing Machinery,
Descriptionvi, 82 p. : ill. ; 28 cm.
Supplemental ContentFull text available from ACM Digital Library
Subjects
Computer programs--Verification. --Congresses.
Programming languages (Electronic computers)--Congresses.

Other author/creatorAltenkirch, Thorsten, 1962-
Other author/creatorMillstein, Todd.
Other author/creatorACM Special Interest Group on Programming Languages.
Other author/creatorAssociation for Computing Machinery.
Other author/creatorACM Digital Library.
Other author/creatorACM Symposium on Principles of Programming Languages 2009 : Savannah, Ga.) (36th :
Variant title Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification
Portion of title Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification
General note" ... colocated with POPL'09 in Savannah, Georgia ...Thorsten Altenkirch, Todd Millstein, PLPV 09 program co-chair."--Pref.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010537987
ISBN9781605583303 (pbk.)
ISBN1605583308 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available