Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference PLPV '09 (2009 : Savannah, Ga.)
PLPV '09 (2009 : Savannah, Ga.)
Title PLPV '09 [electronic resource] : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.
Alternative Title Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification
Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification
Publication Info New York, N.Y. : Association for Computing Machinery, c2009.



Descript vi, 82 p. : ill. ; 28 cm.
Note " ... colocated with POPL'09 in Savannah, Georgia ...Thorsten Altenkirch, Todd Millstein, PLPV 09 program co-chair."--Pref.
ISBN 9781605583303 (pbk.)
1605583308 (pbk.)
Click on the terms below to find similar items in the catalogue
Conference PLPV '09 (2009 : Savannah, Ga.)
PLPV '09 (2009 : Savannah, Ga.)
Subject Computer programs -- Verification -- Congresses.
Programming languages (Electronic computers) -- Congresses.
Alt author ACM Special Interest Group on Programming Languages.
Association for Computing Machinery.
Alt Author ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)
Alt author Altenkirch, Thorsten, 1962-
Millstein, Todd.
Alternative Title Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification
Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification
Descript vi, 82 p. : ill. ; 28 cm.
Note " ... colocated with POPL'09 in Savannah, Georgia ...Thorsten Altenkirch, Todd Millstein, PLPV 09 program co-chair."--Pref.
ISBN 9781605583303 (pbk.)
1605583308 (pbk.)
Conference PLPV '09 (2009 : Savannah, Ga.)
PLPV '09 (2009 : Savannah, Ga.)
Subject Computer programs -- Verification -- Congresses.
Programming languages (Electronic computers) -- Congresses.
Alt author ACM Special Interest Group on Programming Languages.
Association for Computing Machinery.
Alt Author ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)
Alt author Altenkirch, Thorsten, 1962-
Millstein, Todd.
Alternative Title Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification
Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification

Subject Computer programs -- Verification -- Congresses.
Programming languages (Electronic computers) -- Congresses.
Descript vi, 82 p. : ill. ; 28 cm.
Note " ... colocated with POPL'09 in Savannah, Georgia ...Thorsten Altenkirch, Todd Millstein, PLPV 09 program co-chair."--Pref.
Alt author ACM Special Interest Group on Programming Languages.
Association for Computing Machinery.
Alt Author ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)
Alt author Altenkirch, Thorsten, 1962-
Millstein, Todd.
ISBN 9781605583303 (pbk.)
1605583308 (pbk.)

Links and services for this item: