skip to main content
abstract

Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling

Published:18 October 2014Publication History
Skip Abstract Section

Abstract

This panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of these efforts have attempted to provide data-race-free programming models, so that multicore programmers need not be faced with the added burden of trying to debug race conditions on top of the existing challenges of building reliable systems.

Index Terms

  1. Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling

        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 SIGAda Ada Letters
          ACM SIGAda Ada Letters  Volume 34, Issue 3
          HILT '14
          December 2014
          93 pages
          ISSN:1094-3641
          DOI:10.1145/2692956
          Issue’s Table of Contents
          • cover image ACM Conferences
            HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
            October 2014
            116 pages
            ISBN:9781450332170
            DOI:10.1145/2663171

          Copyright © 2014 Owner/Author

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 18 October 2014

          Check for updates

          Qualifiers

          • abstract
        • 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!