![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/sigplan/sigplan47.bht:"
@article{DBLP:journals/sigplan/000112, author = {Benjamin Zorn}, title = {{CACM} research highlights annual report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {11--12}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448983}, doi = {10.1145/2442776.2448983}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/000112.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/000112a, author = {Michael Hicks}, title = {POPL'12 program chair's report: (or, how to run a medium-sized conference)}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {19--27}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442779}, doi = {10.1145/2442776.2442779}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/000112a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/BallMMR12, author = {Thomas Ball and Rupak Majumdar and Todd D. Millstein and Sriram K. Rajamani}, title = {Automatic predicate abstraction of {C} programs}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {37--47}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442783}, doi = {10.1145/2442776.2442783}, timestamp = {Tue, 09 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/BallMMR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Black12, author = {Andrew P. Black}, title = {{SIGPLAN} secretary's report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {4--5}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448979}, doi = {10.1145/2442776.2448979}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Black12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Cifuentes12, author = {Cristina Cifuentes}, title = {{SIGPLAN} treasurer's report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {6}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448980}, doi = {10.1145/2442776.2448980}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Cifuentes12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/CzajkowskiD12, author = {Grzegorz Czajkowski and Laurent Dayn{\`{e}}s}, title = {Multitasking without compromise: a virtual machine evolution}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {60--73}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442785}, doi = {10.1145/2442776.2442785}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/CzajkowskiD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Danvy12, author = {Olivier Danvy}, title = {On submissions and resubmissions}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {28--29}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442780}, doi = {10.1145/2442776.2442780}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Danvy12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/FisherGW12, author = {Kathleen Fisher and Ronald Garcia and Stephanie Weirich}, title = {Nourishing the future of the field: the programming language mentoring workshop 2012}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {14--15}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448985}, doi = {10.1145/2442776.2448985}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/FisherGW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Grossman12, author = {Dan Grossman}, title = {Report on the {SIGPLAN} education board and related activities}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {9--10}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448982}, doi = {10.1145/2442776.2448982}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Grossman12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Hosking12, author = {Antony L. Hosking}, title = {Most influential papers of ICFP, OOPSLA, PLDI, and {POPL}}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {7--8}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448981}, doi = {10.1145/2442776.2448981}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Hosking12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Hutton12, author = {Graham Hutton}, title = {{SIGPLAN} vice-chair's report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {3}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448978}, doi = {10.1145/2442776.2448978}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Hutton12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/NeculaMW12, author = {George C. Necula and Scott McPeak and Westley Weimer}, title = {CCured: type-safe retrofitting of legacy code}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {74--85}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442786}, doi = {10.1145/2442776.2442786}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/NeculaMW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Petrank012, author = {Erez Petrank and Benjamin Zorn}, title = {{SIGPLAN} professional activities committee report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {13}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448984}, doi = {10.1145/2442776.2448984}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Petrank012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Russo12, author = {Claudio V. Russo}, title = {Recursive structures for standard {ML}}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {48--59}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442784}, doi = {10.1145/2442776.2442784}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Russo12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Sagiv12, author = {Mooly Sagiv}, title = {POPL'11 program chair's report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {16--18}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442778}, doi = {10.1145/2442776.2442778}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Sagiv12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/VitekK12, author = {Jan Vitek and Tomas Kalibera}, title = {{R3:} repeatability, reproducibility and rigor}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {30--36}, year = {2012}, url = {https://doi.org/10.1145/2442776.2442781}, doi = {10.1145/2442776.2442781}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/VitekK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Wadler12, author = {Philip Wadler}, title = {{SIGPLAN} chair's report}, journal = {{ACM} {SIGPLAN} Notices}, volume = {47}, number = {4a}, pages = {1--2}, year = {2012}, url = {https://doi.org/10.1145/2442776.2448977}, doi = {10.1145/2442776.2448977}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Wadler12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.