DEV Community

# ada

Posts

ūüĎč Sign in for the ability to sort posts by relevant, latest, or top.
100 Languages Speedrun: Episode 09: Ada

100 Languages Speedrun: Episode 09: Ada

3
Comments
4 min read
What Do Exotic Programming Languages and Single-origin Coffee Beans Have in Common?

What Do Exotic Programming Languages and Single-origin Coffee Beans Have in Common?

7
Comments
8 min read
Generics systems

Generics systems

4
Comments
6 min read
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

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

7
Comments 1
7 min read
My first experience with SPARK-Ada

My first experience with SPARK-Ada

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

Reasons for loving Ada. #1: strong typing

30
Comments 21
8 min read
Proving the correctness of a binary search procedure with SPARK/Ada

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

6
Comments
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

9
Comments 3
5 min read
Watchdoging in Ada

Watchdoging in Ada

5
Comments
9 min read
Accessible components: Alerts

Accessible components: Alerts

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

Come work on what matters, so you matter too.

5
Comments
1 min read
loading...