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/journals/sigplan/sigplan47.bht:"
download as .bib file
@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}
}
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-07-31 19:30 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:
