Live briefing
Everything about AdaCore
Software company
AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust. Headquartered in New York City and Paris, the company was founded in 1994 and supplies development and verification tools used in the aerospace, defense, automotive, rail, and medical device industries. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: AdaCoreA 5-minute orientation
- Pick up a classic book: High Integrity Object Oriented Programming in AdaThe most-reprinted book on the subject
- Read the landmark paper: How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore ExperienceCited 4 times
- Go sideways: GNATA closely related topic
- Go sideways: Robert DewarA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
- 📕High Integrity Object Oriented Programming in AdaAdaCore Technologies, Inc., Inc. · 2013
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- GNAT GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the…
- Robert Dewar Robert Berriedale Keith Dewar (21 June 1945 – 30 June 2015) was an American computer scientist and educator. He helped to develop programming languages…
- Incremental compiler An incremental compiler is a kind of incremental computation applied to the field of compilation. Quite naturally, whereas ordinary compilers make a so-called…
- RISC-V ecosystem The RISC-V ecosystem includes systems that boot with UEFI, handle power management with ACPI and run a variety of operating systems including Linux distribution…
- GNU Compiler Collection The GNU Compiler Collection (GCC; formerly GNU C Compiler) is a collection of compilers from the GNU Project that support various programming languages…
- List of Ada software and tools This is a list of software and programming tools for the Ada programming language, including IDEs, compilers, libraries, verification and debugging tools…
- List of ARM Cortex-M development tools This is a list of development tools for 32-bit ARM Cortex-M-based microcontrollers, which consists of Cortex-M0, Cortex-M0+, Cortex-M1, Cortex-M3, Cortex-M4…
- SETL SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed at the New York University…