Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism. Ada is an international standard; the current version (known as Ada 2012) is defined by ISO/IEC 8652:2012. Ada was originally designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede the hundreds of programming languages then used by the DoD. Ada was named after Ada Lovelace (1815–1852), who is credited as being the first computer programmer. (Source:

References in zbMATH (referenced in 294 articles , 1 standard article )

Showing results 1 to 20 of 294.
Sorted by year (citations)

1 2 3 ... 13 14 15 next

  1. Arioli, Gianni; Koch, Hans: Some reversing orbits for a rattleback model (2022)
  2. Arioli, Gianni; Gazzola, Filippo; Koch, Hans: Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions (2021)
  3. Arioli, Gianni; Koch, Hans: A Hopf bifurcation in the planar Navier-Stokes equations (2021)
  4. Mittermayr, Robert; Blieberger, Johann: Deadlock and WCET analysis of barrier-synchronized concurrent programs (2021)
  5. Prause, Felix; Hoppmann-Baum, Kai; Defourny, Boris; Koch, Thorsten: The maximum diversity assortment selection problem (2021)
  6. Arioli, Gianni; Koch, Hans: Traveling wave solutions for the FPU chain: a constructive approach (2020)
  7. Arioli, Gianni; Koch, Hans: Some breathers and multi-breathers for FPU-type chains (2019)
  8. Arioli, Gianni; Koch, Hans: Non-radial solutions for some semilinear elliptic equations on the disk (2019)
  9. Arioli, Gianni; Koch, Hans: Spectral stability for the wave equation with periodic forcing (2018)
  10. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  11. Arioli, Gianni; Koch, Hans: Families of periodic solutions for some Hamiltonian PDEs (2017)
  12. Beebe, Nelson H. F.: The mathematical-function computation handbook. Programming using the MathCW portable software library (2017)
  13. Koch, Hans: On hyperbolicity in the renormalization of near-critical area-preserving maps (2016)
  14. Arioli, Gianni; Koch, Hans: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (2015)
  15. Bello, Luciano; Hedin, Daniel; Sabelfeld, Andrei: Value sensitivity and observable abstract values for information flow control (2015)
  16. Bertran, Miquel; Babot, Francesc; Climent, August: Formal communication elimination and sequentialization equivalence proofs for distributed system models (2014)
  17. Duracz, Jan; Konečný, Michal: Polynomial function intervals for floating-point software verification (2014)
  18. Pérez, Héctor; Gutiérrez, J. Javier: A survey on standards for real-time distribution middleware (2014)
  19. Clark, John A.; Dan, Haitao; Hierons, Robert M.: Semantic mutation testing (2013)
  20. Loukil, Sihem; Kallel, Slim; Zalila, Bechir; Jmaiel, Mohamed: AO4AADL: aspect oriented extension for AADL (2013) ioport

1 2 3 ... 13 14 15 next