Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AcarBH03,
author = {Umut A. Acar and
Guy E. Blelloch and
Robert Harper},
editor = {Alex Aiken and
Greg Morrisett},
title = {Selective memoization},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {14--25},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604133},
doi = {10.1145/604131.604133},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/AcarBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BaconCR03,
author = {David F. Bacon and
Perry Cheng and
V. T. Rajan},
editor = {Alex Aiken and
Greg Morrisett},
title = {A real-time garbage collector with low overhead and consistent utilization},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {285--298},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604155},
doi = {10.1145/604131.604155},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BaconCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallNR03,
author = {Thomas Ball and
Mayur Naik and
Sriram K. Rajamani},
editor = {Alex Aiken and
Greg Morrisett},
title = {From symptom to cause: localizing errors in counterexample traces},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {97--105},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604140},
doi = {10.1145/604131.604140},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BallNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheCKL03,
author = {Gilles Barthe and
Horatiu Cirstea and
Claude Kirchner and
Luigi Liquori},
editor = {Alex Aiken and
Greg Morrisett},
title = {Pure patterns type systems},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {250--261},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604152},
doi = {10.1145/604131.604152},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BartheCKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Boehm03,
author = {Hans{-}Juergen Boehm},
editor = {Alex Aiken and
Greg Morrisett},
title = {Destructors, finalizers, and synchronization},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {262--272},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604153},
doi = {10.1145/604131.604153},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Boehm03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniET03,
author = {Ahmed Bouajjani and
Javier Esparza and
Tayssir Touili},
editor = {Alex Aiken and
Greg Morrisett},
title = {A generic approach to the static analysis of concurrent programs with
procedures},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {62--73},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604137},
doi = {10.1145/604131.604137},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniET03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BoyapatiLS03,
author = {Chandrasekhar Boyapati and
Barbara Liskov and
Liuba Shrira},
editor = {Alex Aiken and
Greg Morrisett},
title = {Ownership types for object encapsulation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {213--223},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604156},
doi = {10.1145/604131.604156},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BoyapatiLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CarterFT03,
author = {Larry Carter and
Jeanne Ferrante and
Clark D. Thomborson},
editor = {Alex Aiken and
Greg Morrisett},
title = {Folklore confirmed: reducible flow graphs are exponentially larger},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {106--114},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604141},
doi = {10.1145/604131.604141},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CarterFT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chakaravarthy03,
author = {Venkatesan T. Chakaravarthy},
editor = {Alex Aiken and
Greg Morrisett},
title = {New results on the computability and complexity of points - to analysis},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {115--125},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604142},
doi = {10.1145/604131.604142},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Chakaravarthy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chen03,
author = {Gang Chen},
editor = {Alex Aiken and
Greg Morrisett},
title = {Coercive subtyping for the calculus of constructions},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {150--159},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604145},
doi = {10.1145/604131.604145},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Chen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Crary03,
author = {Karl Crary},
editor = {Alex Aiken and
Greg Morrisett},
title = {Toward a foundational typed assembly language},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {198--212},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604149},
doi = {10.1145/604131.604149},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Crary03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DreyerCH03,
author = {Derek Dreyer and
Karl Crary and
Robert Harper},
editor = {Alex Aiken and
Greg Morrisett},
title = {A type system for higher-order modules},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {236--249},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604151},
doi = {10.1145/604131.604151},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DreyerCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GheorghioiuSR03,
author = {Ovidiu Gheorghioiu and
Alexandru Salcianu and
Martin C. Rinard},
editor = {Alex Aiken and
Greg Morrisett},
title = {Interprocedural compatibility analysis for static object preallocation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {273--284},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604154},
doi = {10.1145/604131.604154},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GheorghioiuSR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN03,
author = {Sumit Gulwani and
George C. Necula},
editor = {Alex Aiken and
Greg Morrisett},
title = {Discovering affine equalities using random interpretation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {74--84},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604138},
doi = {10.1145/604131.604138},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HofmannJ03,
author = {Martin Hofmann and
Steffen Jost},
editor = {Alex Aiken and
Greg Morrisett},
title = {Static prediction of heap space usage for first-order functional programs},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {185--197},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604148},
doi = {10.1145/604131.604148},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HofmannJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JensenM03,
author = {Ole H{\o}gh Jensen and
Robin Milner},
editor = {Alex Aiken and
Greg Morrisett},
title = {Bigraphs and transitions},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {38--49},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604135},
doi = {10.1145/604131.604135},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JensenM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PetersenHCP03,
author = {Leaf Petersen and
Robert Harper and
Karl Crary and
Frank Pfenning},
editor = {Alex Aiken and
Greg Morrisett},
title = {A type theory for memory allocation and data layout},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {172--184},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604147},
doi = {10.1145/604131.604147},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PetersenHCP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchmittS03,
author = {Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Alex Aiken and
Greg Morrisett},
title = {The m-calculus: a higher-order distributed process calculus},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {50--61},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604136},
doi = {10.1145/604131.604136},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SchmittS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SimeonW03,
author = {J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Alex Aiken and
Greg Morrisett},
title = {The essence of {XML}},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {1--13},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604132},
doi = {10.1145/604131.604132},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SimeonW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TahaN03,
author = {Walid Taha and
Michael Florentin Nielsen},
editor = {Alex Aiken and
Greg Morrisett},
title = {Environment classifiers},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {26--37},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604134},
doi = {10.1145/604131.604134},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/TahaN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TallamG03,
author = {Sriraman Tallam and
Rajiv Gupta},
editor = {Alex Aiken and
Greg Morrisett},
title = {Bitwidth aware global register allocation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {85--96},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604139},
doi = {10.1145/604131.604139},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/TallamG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Thielecke03,
author = {Hayo Thielecke},
editor = {Alex Aiken and
Greg Morrisett},
title = {From control effects to typed continuation passing},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {139--149},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604144},
doi = {10.1145/604131.604144},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Thielecke03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XiCC03,
author = {Hongwei Xi and
Chiyan Chen and
Gang Chen},
editor = {Alex Aiken and
Greg Morrisett},
title = {Guarded recursive datatype constructors},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {224--235},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604150},
doi = {10.1145/604131.604150},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/XiCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZibinG03,
author = {Yoav Zibin and
Joseph Gil},
editor = {Alex Aiken and
Greg Morrisett},
title = {Incremental algorithms for dispatching in dynamically typed languages},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {126--138},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604143},
doi = {10.1145/604131.604143},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZibinG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZibinGC03,
author = {Yoav Zibin and
Joseph Gil and
Jeffrey Considine},
editor = {Alex Aiken and
Greg Morrisett},
title = {Efficient algorithms for isomorphisms of simple types},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {160--171},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604146},
doi = {10.1145/604131.604146},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZibinGC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2003,
editor = {Alex Aiken and
Greg Morrisett},
title = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131},
doi = {10.1145/604131},
isbn = {1-58113-628-5},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 22:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
