Explore tweets tagged as #Adaprogramming
Introduction to Ada - Look for "Read and Download Links" section to download. #programming #ada #AdaProgramming
0
0
0
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event!
4
1
3
Sunny last hours at #FOSDEM2025 after end of #AdaDevRoom and meeting with fellow #Adaists. Thanks to all presenters! Stay tuned for the video recordings. #AdaProgramming
0
1
3
Avez-vous pensé à vous enregistrer pour la conférence internationale sur les les technologies de logiciels sûrs ?.Dommage vous avez raté le "early registration". La conférence aura lieu du 10 au 13 juin à Paris ().#AEiC2025 #AdaEurope #AdaProgramming.
0
1
0
Members of the #AdaProgramming language community met yesterday, in a "tropical" Paris and online, at the 2nd Ada Developers Workshop #AdaDevWS held at the 29th #AdaEurope International Conference on Reliable Software Technologies #AEiC2025. "And there was much rejoicing!" ;-)
1
0
6
Magazines pay attention to use of #AdaProgramming and #SPARKprogramming languages and technology in #automotive sector.
High-integrity software tooling experts, @AdaCoreCompany, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner @nvidia, they are set to publish an off-the-shelf reference process, allowing
0
1
1
Need to run some super important, safety-critical or Department of Defense applications on your Sega #Dreamcast?! No problem! Now you can cross-compile your Ada code for your favorite little white box! #adaprogramming #retrocomputing
1
6
47
Register now for #AEiC2025, #AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, #tutorials Tue, packed program Wed-Thu, #workshops Fri, enjoy social events/sightseeing! #AdaProgramming
0
1
4
#AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, experience packed program in exciting city, benefit from #tutorials (Tue), join #workshop (Fri), enjoy social events! #AdaProgramming
0
0
3
Important announcement about the #AdaProgramming and #SPARKprogramming languages and technologies for automotive software development.
We are thrilled to announce that AdaCore and @nvidia are working together to bring Ada and SPARK into the heart of safety-critical automotive software development. NVIDIA has adopted these languages to support the creation of software components that meet ISO 26262 functional.
0
2
5
Avez-vous pensé à vous enregistrer pour la conférence internationale sur les les technologies de logiciels sûrs ?.Dommage vous avez raté le "early registration". La conférence aura lieu du 10 au 13 juin à Paris ().#AEiC2025 #AdaEurope #AdaProgramming.
0
0
1
Ada Lovelace, pionera en programación, nos muestra cómo las mujeres han sido líderes en la tecnología desde el principio. 💻👩💻 ¡Rompe barreras y programa tu propio camino! #AdaProgramming #TechPioneer
0
0
0
0
0
0
Version 1.6 of Aflex, the lexical analyzer, and version 1.4 of Ayacc, the Ada parser generator provide numerous improvements. See how to enable the reentrant mode for your scanner&parser #adaprogramming.
0
2
5
0
0
0
Ada 95: Problem Solving and Program Design (3rd Edition) .#AdaProgramming.#AdaLanguage.#AdaDevelopers.
0
0
0
Ada for Software Engineers, 2nd Edition Author(s) Mordechai Ben-Ari .#AdaProgramming.#AdaLanguage.#AdaDevelopers.
0
0
0