Articles Tagged “GNAT”
6 articles tagged “GNAT”, newest first.
-
Memory Management in Ada — When to Use Access Types, Controlled Types, and Storage Pools
Ada does not rely on GC: values go on the stack first, and when the heap is needed, access types put lifetime rules into types. Deallocation risks, cleanup w...
-
Starting an Ada Project with Alire — Creating a Project, Adding Dependencies, Build Profiles, and GNATprove
Using Alire, the Ada package manager, to create a project, fetch GNAT automatically, add crates, switch build profiles, and prove code with GNATprove, with r...
-
What's New in Ada 2022 — What Works in GNAT and the Parallel Syntax You Can't Write Yet
Declare expressions, delta aggregates, 'Image for all types, 'Reduce, Big_Integers and the Jorvik profile, run on GNAT 13.3 and 15.3. GNAT rejected parallel ...
-
Connecting Ada with C and C# — Building a DLL and Calling It
How to build a shared library in Ada and call it from C and C#, verified by running it: Interfaces.C, Convention => C, gprbuild, elaboration, string ownershi...
-
Generic Programming in Ada — Contracts, Types, and Zero-Cost Reuse
A systematic introduction to generic programming in Ada. Covers generic subprograms, generic packages, formal subprogram parameters, type categories, formal ...
-
The Appeal of the Ada Language — Expressing Design Through Types and Powering Software That Runs for Decades
An introduction to the appeal of the Ada language: strong typing, range constraints, separation of specification and implementation via packages, design by c...