AdaCore Blog company blog
Using Pointers in SPARK
In this blog post, I will present one of the most interesting additions to the community 2019 version of SPARK: pointer support. One of the core…
- Points
- 0
- HN comments
- 0
- Submissions
- 0
- Cited by
- 13 commenters
Software EngineeringProgramming Languages2019
Cited in comments
Linked from 20 Hacker News comments by 13 different people, from Jul 2019 to Feb 2025.
Most recent:
- AlotOfReading · Feb 9, 2025
- cyberax · Sep 26, 2024
- johnisgood · Dec 3, 2023
- Rochus · Sep 10, 2023
- touisteur · Aug 28, 2023
- c-cube · Nov 4, 2022
