PLPV '09
Subtitle: proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
By: sponsored by ACM SIGPLAN
Contributors: Altenkirch, Thorsten, 1962-; Millstein, Todd; ACM Special Interest Group on Programming Languages; Association for Computing Machinery; ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)
Publisher: Association for Computing Machinery
Published: 2009
Place of publication: New York, N.Y
Language: eng
Number of pages: 82
ISBN-13: 9781605583303
Subjects: Computer programs; Congresses; Verification; Programming languages (Electronic computers)
Other titles: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification; Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification
Notes: " ... colocated with POPL'09 in Savannah, Georgia ...Thorsten Altenkirch, Todd Millstein, PLPV 09 program co-chair."--Pref.

Includes bibliographical references and index.