LEADER 02107oam  2200553zu 450 
001 9910376188203321
005 20210807002138.0
035   $a(CKB)3170000000003754
035   $a(SSID)ssj0000752824
035   $a(PQKBManifestationID)12386990
035   $a(PQKBTitleCode)TC0000752824
035   $a(PQKBWorkID)10786919
035   $a(PQKB)10141606
035   $a(Association for Computing Machinery)10.1145/1481848
035   $a(EXLCZ)993170000000003754
100   $a20160829d2009      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 10$aPLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2009
215   $a1 online resource (90 p.;) 
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-330-8 
410  0$aACM Conferences
517 3 $aPLPV '09
606   $aComputer programs$xVerification$vCongresses
606   $aProgramming languages (Electronic computers)$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aComputer programs$xVerification
615  0$aProgramming languages (Electronic computers)
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.13
700   $aAltenkirch$b Thorsten$0930976
702   $aMillstein$b Todd
702   $aAltenkirch$b Thorsten
712 02$aA C M Special Interest Group
712 02$aACM Special Interest Group on Programming Languages
712 12$aACM Symposium on Principles of Programming Languages$d(36th :$f2009 :$eSavannah, Ga.)
801  0$bPQKB
906   $aBOOK
912   $a9910376188203321
996   $aPLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009$92094203
997   $aUNINA