DEV Community

loading...

# ada

👋 Sign in for the ability sort posts by top and latest.
Generics systems

Generics systems

Reactions 4
6 min read
My first experience with SPARK-Ada

My first experience with SPARK-Ada

Reactions 8 Comments 4
6 min read
Reasons for loving Ada. #1: strong typing

Reasons for loving Ada. #1: strong typing

Reactions 31 Comments 15
8 min read
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

Reactions 5
7 min read
Proving the correctness of a binary search procedure with SPARK/Ada

Proving the correctness of a binary search procedure with SPARK/Ada

Reactions 6
9 min read
Safer set-uid programs in Ada with the suid-helper library

Safer set-uid programs in Ada with the suid-helper library

Reactions 9 Comments 3
5 min read
Watchdoging in Ada

Watchdoging in Ada

Reactions 5
9 min read
Accessible components: Alerts

Accessible components: Alerts

Reactions 8
1 min read
Come work on what matters, so you matter too.

Come work on what matters, so you matter too.

Reactions 5
1 min read
loading...