skip to main content
column

Most influential papers of ICFP, OOPSLA, PLDI, and POPL

Published: 18 March 2012 Publication History

Abstract

No abstract available.

References

[1]
Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani. Automatic predicate abstraction of c programs. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 203--213, Snowbird, Utah, June 2001.
[2]
Grzegorz Czajkowski and Laurent Daynés. Multitasking without compromise: a virtual machine evolution. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 125--138, Tampa, Florida, October 2001.
[3]
George C. Necula, Scott McPeak, and Westley Weimer. CCured: type-safe retrofitting of legacy code. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 128--139, Portland, Oregon, January 2002.
[4]
Claudio Russo. Recursive structures for Standard ML. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 50--61, Florence, Italy, September 2001.

Index Terms

  1. Most influential papers of ICFP, OOPSLA, PLDI, and POPL

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 47, Issue 4a
    Supplemental issue
    April 2012
    85 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/2442776
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 18 March 2012
    Published in SIGPLAN Volume 47, Issue 4a

    Check for updates

    Qualifiers

    • Column

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 263
      Total Downloads
    • Downloads (Last 12 months)17
    • Downloads (Last 6 weeks)4
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media