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/popl2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AlurCMN05,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
P. Madhusudan and
Wonhong Nam},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Synthesis of interface specifications for Java classes},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {98--109},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040314},
doi = {10.1145/1040305.1040314},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurCMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AnconaDDZ05,
author = {Davide Ancona and
Ferruccio Damiani and
Sophia Drossopoulou and
Elena Zucca},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Polymorphic bytecode: compositional compilation for Java-like languages},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {26--37},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040308},
doi = {10.1145/1040305.1040308},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AnconaDDZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BornatCOP05,
author = {Richard Bornat and
Cristiano Calcagno and
Peter W. O'Hearn and
Matthew J. Parkinson},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Permission accounting in separation logic},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {259--270},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040327},
doi = {10.1145/1040305.1040327},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BornatCOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BoylandR05,
author = {John Tang Boyland and
William Retert},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Connecting effects and uniqueness with adoption},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {283--295},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040329},
doi = {10.1145/1040305.1040329},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BoylandR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BruniMM05,
author = {Roberto Bruni and
Hern{\'{a}}n C. Melgratti and
Ugo Montanari},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Theoretical foundations for compensations in flow composition languages},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {209--220},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040323},
doi = {10.1145/1040305.1040323},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BruniMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CalcagnoGZ05,
author = {Cristiano Calcagno and
Philippa Gardner and
Uri Zarfaty},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Context logic and tree update},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {271--282},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040328},
doi = {10.1145/1040305.1040328},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CalcagnoGZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChakravartyKJM05,
author = {Manuel M. T. Chakravarty and
Gabriele Keller and
Simon L. Peyton Jones and
Simon Marlow},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Associated types with class},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {1--13},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040306},
doi = {10.1145/1040305.1040306},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChakravartyKJM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChenT05,
author = {Juan Chen and
David Tarditi},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A simple typed intermediate language for object-oriented languages},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {38--49},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040309},
doi = {10.1145/1040305.1040309},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CobbeF05,
author = {Richard Cobbe and
Matthias Felleisen},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Environmental acquisition revisited},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {14--25},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040307},
doi = {10.1145/1040305.1040307},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CobbeF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FieldV05,
author = {John Field and
Carlos A. Varela},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Transactors: a programming model for maintaining globally consistent
distributed state in unreliable environments},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {195--208},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040322},
doi = {10.1145/1040305.1040322},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FieldV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganG05,
author = {Cormac Flanagan and
Patrice Godefroid},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Dynamic partial-order reduction for model checking software},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {110--121},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040315},
doi = {10.1145/1040305.1040315},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FlanaganG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterGMPS05,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Combinators for bi-directional tree transformations: a linguistic
approach to the view update problem},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {233--246},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040325},
doi = {10.1145/1040305.1040325},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FosterGMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GayN05,
author = {Simon J. Gay and
Rajagopal Nagarajan},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Communicating quantum processes},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {145--157},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040318},
doi = {10.1145/1040305.1040318},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GayN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ghica05,
author = {Dan R. Ghica},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Slot games: a quantitative model of computation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {85--97},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040313},
doi = {10.1145/1040305.1040313},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Ghica05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Goguen05,
author = {Healfdene Goguen},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A syntactic approach to eta equality in type theory},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {75--84},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040312},
doi = {10.1145/1040305.1040312},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Goguen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GopanRS05,
author = {Denis Gopan and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A framework for numeric analysis of array operations},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {338--350},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040333},
doi = {10.1145/1040305.1040333},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GopanRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GrumbergLST05,
author = {Orna Grumberg and
Flavio Lerda and
Ofer Strichman and
Michael Theobald},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Proof-guided underapproximation-widening for multi-process systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {122--131},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040316},
doi = {10.1145/1040305.1040316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GrumbergLST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN05,
author = {Sumit Gulwani and
George C. Necula},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Precise interprocedural analysis using random interpretation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {324--337},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040332},
doi = {10.1145/1040305.1040332},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HackettR05,
author = {Brian Hackett and
Radu Rugina},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Region-based shape analysis with tracked locations},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {310--323},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040331},
doi = {10.1145/1040305.1040331},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HackettR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HosoyaFC05,
author = {Haruo Hosoya and
Alain Frisch and
Giuseppe Castagna},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Parametric polymorphism for {XML}},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {50--62},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040310},
doi = {10.1145/1040305.1040310},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HosoyaFC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LernerMRC05,
author = {Sorin Lerner and
Todd D. Millstein and
Erika Rice and
Craig Chambers},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Automated soundness proofs for dataflow analyses and transformations
via local rules},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {364--377},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040335},
doi = {10.1145/1040305.1040335},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LernerMRC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiZ05,
author = {Peng Li and
Steve Zdancewic},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Downgrading policies and relaxed noninterference},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {158--170},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040319},
doi = {10.1145/1040305.1040319},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MansonPA05,
author = {Jeremy Manson and
William W. Pugh and
Sarita V. Adve},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {The Java memory model},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {378--391},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040336},
doi = {10.1145/1040305.1040336},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MansonPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NeubauerT05,
author = {Matthias Neubauer and
Peter Thiemann},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {From sequential programs to multi-tier applications by program transformation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {221--232},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040324},
doi = {10.1145/1040305.1040324},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/NeubauerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ParkPT05,
author = {Sungwoo Park and
Frank Pfenning and
Sebastian Thrun},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A probabilistic language based upon sampling functions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {171--182},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040320},
doi = {10.1145/1040305.1040320},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ParkPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ParkinsonB05,
author = {Matthew J. Parkinson and
Gavin M. Bierman},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Separation logic and abstraction},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {247--258},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040326},
doi = {10.1145/1040305.1040326},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ParkinsonB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PodelskiR05,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Transition predicate abstraction and fair termination},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {132--144},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040317},
doi = {10.1145/1040305.1040317},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PodelskiR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RinetzkyBRSW05,
author = {Noam Rinetzky and
J{\"{o}}rg Bauer and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A semantics for procedure local heaps and its abstractions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {296--309},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040330},
doi = {10.1145/1040305.1040330},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RinetzkyBRSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StoyleHBSN05,
author = {Gareth Paul Stoyle and
Michael W. Hicks and
Gavin M. Bierman and
Peter Sewell and
Iulian Neamtiu},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Mutatis mutandis: safe and predictable dynamic software updating},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {183--194},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040321},
doi = {10.1145/1040305.1040321},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/StoyleHBSN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SumiiP05,
author = {Eijiro Sumii and
Benjamin C. Pierce},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A bisimulation for type abstraction and recursion},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {63--74},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040311},
doi = {10.1145/1040305.1040311},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SumiiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XieA05,
author = {Yichen Xie and
Alexander Aiken},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Scalable error detection using boolean satisfiability},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {351--363},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040334},
doi = {10.1145/1040305.1040334},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/XieA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2005,
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305},
doi = {10.1145/1040305},
isbn = {1-58113-830-X},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2005.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-04-27 01:47 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:
