skip to main content
research-article

From Ada to Platinum SPARK: A Case Study

Published:27 April 2021Publication History
Skip Abstract Section

Abstract

An effective approach to learning a new programming language is to implement data structures common to computer programming. The approach is effective because the problem to be solved is well understood, allowing one to focus on the language details. Moreover, several different forms of a given data structure are often possible: bounded versus unbounded, sequential versus thread-safe, and so on. These multiple forms likely require a wide range of language features.

Index Terms

(auto-classified)
  1. From Ada to Platinum SPARK: A Case Study

    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 40, Issue 2
      December 2020
      55 pages
      ISSN:1094-3641
      DOI:10.1145/3463478
      • Editor:
      • Alok Srivastava
      Issue’s Table of Contents

      Copyright © 2021 Copyright is held by the owner/author(s)

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 27 April 2021

      Check for updates

      Qualifiers

      • research-article
    • Article Metrics

      • Downloads (Last 12 months)3
      • Downloads (Last 6 weeks)1

      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!