skip to main content
news

Modular reasoning about concurrent higher-order imperative programs

Published:08 January 2014Publication History

Abstract

No abstract available.

Skip Supplemental Material Section

Supplemental Material

d1_left_t2.mp4

Index Terms

  1. Modular reasoning about concurrent higher-order imperative programs

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGPLAN Notices
        ACM SIGPLAN Notices  Volume 49, Issue 1
        POPL '14
        January 2014
        661 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/2578855
        Issue’s Table of Contents
        • cover image ACM Conferences
          POPL '14: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
          January 2014
          702 pages
          ISBN:9781450325448
          DOI:10.1145/2535838

        Copyright © 2014 Owner/Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 8 January 2014

        Check for updates

        Qualifiers

        • news
      • Article Metrics

        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!