Ada

Language

Best for:

AerospaceAutomotiveBackend ApiDefenseDesktopEmbeddedReal-TimeSafety CriticalSecuritySystems

A structured, statically typed, imperative, and object-oriented high-level programming language, renowned for its strong typing, memory safety, and built-in support for concurrency features.

100 Freshness

Verified: 2 février 2026

Suggérer une modification

Technical Specifications

audience

Professional

compliance

A11YGdprHipaaIso27001Pci Dss

ecosystem

AdaC CppSPARKUnixWindows

Execution Model

Compiled

Key Features

Cross PlatformFormal Verification

governance

Consortium

Layer

BackendData LayerEmbeddedInfrastructureNetworkingSecuritySystem

license

Open Source (OSS)

Paradigms

ConcurrentImperativeMultiObject-OrientedProcedural

philosophy

Batteries IncludedOpinionated

provides

AlireGNAT

requires

AlireGnat

Typing System

GenericNominalStatic TypingStrong Typing

usage

Real Time

External Links

Website: Visit Website
Repository: Go to Repository
Documentation: View Documentation Ada Reference Manual
Specification: View Specification ISO/IEC 8652:2023 (Official Standard) paid service
Download: Download e-book
Specification: View Specification SPARK 2014 Reference Manual

Brand: Ada Information Clearinghouse
Designer: Jean Ichbiah
Licenses: Proprietary
Protocols: http
https
rest
soap
websocket
sse
tcp
udp
binary
mqtt
tls
Interfaces: c-abi
Driver Types: native-driver
Package Name: alr
First Release: 1980
Runtime Types: native
Stable Release: 2022
Native Packages: Yes
Transport Modes: ipc
shared-memory
ffi
Memory Management: manual
Concurrency Models: multi-thread
rendezvous
Consistency Models: strong
Resource Intensity: low

Discussions

You must be logged in to participate in the discussion.

Chargement des discussions...