×

Ada95

swMATH ID: 1753
Software Authors: Jean Ichbiah
Description: 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.
Homepage: http://www.adahome.com/rm95/
Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ANNA; ML; MPFR; COBOL; PL/I; SPARK; Uppaal; ALGOL 60; JML; Esterel; STL; LISP; PVS; Mathematica; POOL
Cited in: 277 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Charles: A data structure library for Ada95. Zbl 1032.68865
Heaney, Matthew
2003
all top 5

Cited by 396 Authors

14 Koch, Hans-Friedrich
11 Arioli, Gianni
5 Burns, Alan D.
5 Luckham, David C.
4 Gehani, Narain H.
4 González Harbour, Michael
4 Goos, Gerhard
4 Xu, Baowen
3 Blieberger, Johann
3 Booch, Grady
3 Gerth, Rob Tristan
3 Goldsack, Stephen J.
3 Kienzle, Jörg
3 Ledgard, Henry F.
3 McGettrick, Andrew D.
3 Meldal, Sigurd
3 Olsson, Ronald A.
3 Persch, Guido
3 Shyamasundar, Rudrapatna Kallikote
3 Wallis, Peter J. L.
3 Wellings, Andrew J.
3 Wellings, Andy
2 Aït-Kaci, Hassan
2 Aldea Rivas, Mario
2 America, Pierre
2 Andrews, Gregory R.
2 Baker, Theodore P.
2 Barringer, Howard
2 Ben-Ari, Mordechai
2 Bishop, Judy M.
2 Breguet, Pierre
2 Brooke, Phillip J.
2 Cohen, Norman H.
2 Craeynest, Dirk
2 Dausmann, Manfred
2 Dawes, John
2 Duggan, Dominic
2 Feldman, Michael B.
2 Gutiérrez, J. Javier
2 Habermann, A. Nico
2 Hennessy, Matthew C. B.
2 Hooman, Jozef Johannes Maria
2 Jiménez-Peris, Ricardo
2 Keen, Aaron W.
2 Kramer, Jeff
2 Mearns, I.
2 Nagl, Manfred
2 Paige, Richard F.
2 Patiño-Martínez, Marta
2 Pyle, I. C.
2 Rogers, Mark W.
2 Rosen, Jean-Pierre
2 Strohmeier, Alfred
2 Vardanega, Tullio
2 von Henke, Friedrich Wilhelm
2 Waroquiers, Philippe
2 Yang, Hongji
2 Zaffalon, Luigi
1 Abnous, Razmik
1 Adams, Stephen R.
1 Agamirzyan, I. R.
1 Ah-kee, Alain
1 Álvarez, Barbara
1 Amoroso, Serafino
1 Anavi, E.
1 Ancona, Massimo
1 Appelbe, Bill
1 Araki, Toshiro
1 Ardö, Anders
1 Arévalo, Sergio
1 Arsac, Jacques J.
1 Arunkumar, S.
1 Asplund, Lars
1 Athersych, David F.
1 Audsley, Neil C.
1 Ausnit, Christine N.
1 Avjiev, D.
1 Babot, Francesc-Xavier
1 Baeten, Jos C. M.
1 Baker, Louis jun.
1 Barnard, David T.
1 Barnes, I. G. P.
1 Barnes, J. G. P.
1 Barnes, Janet
1 Beebe, Nelson H. F.
1 Beidler, John
1 Bello, Luciano
1 Bengel, Günther
1 Benson, Gregory D.
1 Bergin, Thomas J. jun.
1 Bermudez, Manuel E.
1 Bertran, Miquel
1 Bever, Martin
1 Biswas, Prasenjit
1 Blum, Edward Kenneth
1 Bölckow, Rolf
1 Bożejko, Wojciech
1 Bretz, Manfred
1 Brosgol, Benjamin M.
1 Bruce, Kim B.
...and 296 more Authors
all top 5

Cited in 61 Serials

30 Software. Practice & Experience
9 Lecture Notes in Computer Science
8 Formal Aspects of Computing
7 Theoretical Computer Science
5 Acta Informatica
5 BIT
5 The Computer Journal. Section A / Section B
5 Information and Computation
5 Real-Time Systems
4 IEEE Transactions on Software Engineering
3 Information Processing Letters
3 Science of Computer Programming
2 Communications in Mathematical Physics
2 Computer Physics Communications
2 Applied Mathematics and Computation
2 Automatica
2 Computing
2 Journal of Computer and System Sciences
2 Journal of Differential Equations
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Journal of Computer Science and Technology
2 Concurrency: Practice and Experience
2 Journal of Functional Programming
2 Annals of Mathematics and Artificial Intelligence
2 Discrete and Continuous Dynamical Systems
2 Journal of Mathematical Fluid Mechanics
2 Sādhanā
2 Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik
1 ACM Computing Surveys
1 International Journal of Control
1 Nonlinearity
1 Computer Languages
1 Elektronische Rechenanlagen
1 INFOR
1 International Journal of Computer & Information Sciences
1 Journal of Soviet Mathematics
1
1 ACM Transactions on Programming Languages and Systems
1 Annales Societatis Mathematicae Polonae. Series IV
1 Ergodic Theory and Dynamical Systems
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
1 Journal of Wuhan University. Natural Science Edition
1 Parallel Computing
1 it. Informationstechnik
1 International Journal of Parallel Programming
1 Journal of Automated Reasoning
1 La Vie des Sciences
1 Distributed Computing
1 Journal of Nonlinear Science
1 Lietuvos Matematikos Rinkinys
1
1 Documenta Mathematica
1 Kuwait Journal of Science and Engineering
1 Mathematical Methods of Operations Research
1 Concurrency and Computation: Practice & Experience
1 SIAM Journal on Applied Dynamical Systems
1 Computer Languages, Systems & Structures
1 Cambridge Computer Science Texts
1 Fachberichte Simulation
1 International Series on Microprocessor-Based Systems Engineering
1 Undergraduate Texts in Computer Science

Citations by Year