The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/popl/2013
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/popl/2013
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Radhia_Cousot
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Roberto_Giacobazzi
>
swrc:
editor
<
https://dblp.l3s.de/d2r/resource/authors/Radhia_Cousot
>
swrc:
editor
<
https://dblp.l3s.de/d2r/resource/authors/Roberto_Giacobazzi
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1145%2F2429069
>
foaf:
homepage
<
https://doi.org/10.1145/2429069
>
dc:
identifier
DBLP conf/popl/2013
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1145%2F2429069
(xsd:string)
dc:
identifier
ISBN 978-1-4503-1832-7
(xsd:string)
swrc:
isbn
ISBN 978-1-4503-1832-7
(xsd:string)
dcterms:
issued
2013
(xsd:gYear)
rdfs:
label
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
(xsd:string)
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/AbelPTS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Adams13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/AtkeyJK13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BarrVLS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BattyDG13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Ben-AmramG13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BenzakenCNS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BlellochH13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BonchiP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/BotincanB13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/CairesS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/CarboneM13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/CernyHR13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/DSilvaHK13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/DelawareOS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/DemangeLZJPV13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Dinsdale-YoungBGPY13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/FarzanKP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/FournetSCDSL13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/GaboardiHHNP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Gonthier13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Goodman13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/GordonABCGNRR13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Goyet13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/HenzingerKPSS13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/HoborV13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/HurNDV13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/JensenBK13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/KoksalPSBFP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Krishnamurthi13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/LagoP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Ley-WildN13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/LivshitsC13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/LoschP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/MayrC13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Myers13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/ParkSP13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/RamalingamV13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/RompfSABJLJOO13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/StatonL13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/SuenagaSH13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Tate13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/TotlaW13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/TuronTABD13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/UnnoTK13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/UpadrastaC13
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/VytiniotisJCR13
>
dc:
publisher
ACM
(xsd:string)
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/popl/2013/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/popl/2013
>
owl:
sameAs
<
urn:isbn:978-1-4503-1832-7
>
rdfs:
seeAlso
<
http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-1-4503-1832-7
>
rdfs:
seeAlso
<
https://doi.org/10.1145/2429069
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/popl
>
dcterms:
tableOfContent
<
http://dblp.uni-trier.de/db/conf/popl/popl2013.html
>
dc:
title
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Collection
>
rdf:
type
swrc:Proceedings
rdf:
type
foaf:Document