Lobsters
- SPARK/Ada gets pointer support inspired by the Rust memory model https://blog.adacore.com/using-pointers-in-spark 3 comments plt , rust
- Pointers in SPARK/Ada inspired by rust ownership model https://blog.adacore.com/using-pointers-in-spark 20 comments programming
Linking pages
- Pointer Based Data-Structures in SPARK | The AdaCore Blog https://blog.adacore.com/pointer-based-data-structures-in-spark 46 comments
- RFCs for Ada and SPARK evolution now on GitHub | The AdaCore Blog https://blog.adacore.com/rfcs-for-ada-and-spark-evolution-now-on-github 8 comments
- Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada / Хабр https://habr.com/ru/post/549688/ 3 comments
- Handling Aliasing through Pointers in SPARK | The AdaCore Blog https://blog.adacore.com/handling-aliasing-through-pointers-in-spark 1 comment
- Relaxing the Data Initialization Policy of SPARK | The AdaCore Blog https://blog.adacore.com/relaxing-the-data-initialization-policy-of-spark 1 comment
- SPARK Crate of the Year: Unbounded containers in… | The AdaCore Blog https://blog.adacore.com/spark-crate-of-the-year-unbounded-containers-in-spark 0 comments
- An Expedition into Libadalang | The AdaCore Blog https://blog.adacore.com/an-expedition-into-libadalang 0 comments
Linked pages
Related searches:
Search whole site: site:blog.adacore.com
Search title: Using Pointers in SPARK | The AdaCore Blog
See how to search.