this post was submitted on 21 Dec 2023
1 points (100.0% liked)

Ada

73 readers
1 users here now

A community about the programming language, Ada.

About Ada Language

Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.

Rules:

  1. Be respectful: Treat fellow community members with kindness and respect. Personal attacks, harassment, or any form of discrimination will not be tolerated.
  2. Stay on topic: Keep discussions focused on Ada language-related topics. Off-topic posts may be removed.
  3. No spam or self-promotion: Avoid excessive self-promotion or spamming of external links. Share relevant content and engage in meaningful discussions.
  4. Provide helpful and constructive feedback: When offering feedback on code or projects, be constructive and supportive. Help others learn and grow.
  5. Follow the instance wide rules.

founded 11 months ago
MODERATORS
ada@programming.dev
1
SPARK Pro for Embedded and Systems Programming | AdaCore Webinar (youtu.be)
submitted 10 months ago by ada@programming.dev to c/ada@programming.dev
0 comments fedilink hide all child comments
 

In this webinar, Yannick Moy outlines key features of SPARK Pro, including demos on pointer ownership, function contracts and safe type casting.

Watch this session to learn more about:

  • The rich possibilities for data representation in SPARK
  • Available contracts on data types
  • The ownership principle for tracking pointers to data
  • Available contracts on functions
  • Handling of bindings with C libraries, safe type casting, software-hardware interactions
  • Specializing the analysis for a given target platform
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here