Julia Grin, L.M. Korotenko, M.L. Isakova · Institutional Repository National Mining University of Ukraine (National Mining University of Ukraine) · 2017
The Programming Language Ada Ada is a powerful high-level programming language that focuses on the development of reliable software.Ada was created in 1979-1980 for the Ministry Defense USA.The aim was to reduce the number of different languages used in the Ministry for different purposes (for 1983 -over 450) by developing a common language that satisfies the requirements of the Ministry.For this was established working group HOLWG, which is primarily made up a set of requirements for the high-level language development for embedded systems.These requirements have focused on reliability, maintainability and efficiency.Among other things, they were exception handling, error checking during execution and the possibility of parallel computing.After formulating language requirements were analyzed existing languages, which showed that none of them is met adequately.A competition was held to develop a new language, which won by Jean Ishbia of CII Honeywell Bull.Language features are: strong typing.There are no untyped objects in the language, and data conversions have to be explicit. modularity mechanism includes three types of program units: tasks (units of concurrent execution), packages (modularity units, used, for example, for implementing abstract data types) and procedures. a rich set of tools for error checks and exception handling, both at compiletime and at run-time.The language focuses on detecting as many errors as possible at compile-time.Compiler error messages are made to provide as much information as possible. dynamic memory management has no generic pointers, but rather explicitly declared access types.The language semantics allow to do automatic garbage collection, but most implementation don't have this feature. one of the key requirements was readability of the code, even though it hurt ease of coding.As a result, the syntax is a bit overweight: keywords and operators (except for math) use English words without abbreviations. support for generic programming, which was not included in the Steelman requirements. support for concurrent programming, based on rendezvous mechanism.Nowadays there exist hundreds of Ada implementations for virtually every operating system, plus compilers to Java and .NET bytecode.It is still widely used in USA and Europe when developing large-scale mission-critical applications (which are not limited to army purposes).
Cited by 8Open access
1981
Cited by 0
Reference Manual · 1983
An On-Line Modeling System (OLMS) which should be particularly useful to the biomedical community is described which utilizes a process called "overlaying " to simplify loading and executing programs. OLMS has been constructed and implemented as an interpreter; that is, a program that translates and then executes each source statement in sequence where these two operations follow each other in close time proximity. It has been written so that it can be run under the IBM S/360 and the PDP-10 operating systems, but has been implemented only on the PDP-10. OLMS operates from a command language that is executed interpretively through a set of closed subroutines. The user may run a job, save data, get data, and display data. While his program is running, he can access the whole memory. This report consists of a description of OLMS and programmer's reference manuals for both the OLMS graphical system and OLMS. (JY)
Cited by 0
United States. Department of Defense · CERN Document Server (European Organization for Nuclear Research) · 1981
Cited by 0
Quentin Ochem · 2009
Building complex applications often requires putting together pieces of software or requirements that have not been made to work together in the first place. Thinking of a project with a high integrity kernel written in Ada, using a set of low level libraries and drivers written in C or C++, with a graphical interface done in Java and unit tests driven by python is not thinking of sciencefiction anymore. It's actual concrete and day-to-day work. Unfortunately, having all of these technologies talking to each other is not straightforward, and often requires a deep knowledge of both sides of the technology and extensive manual work.
Cited by 1
Goltz, U., Technische Hochschule Aachen (Germany, F.R.) · OpenGrey (Institut de l'Information Scientifique et Technique) · 1980
Cited by 0
Bernd Krieg-Brueckner · Topics in information systems · 1984
Cited by 2
David F. Gray · International Journal of Electrical Engineering Education · 1982
Cited by 0
Giuseppina Gini, Maria Gini · Computers in Industry · 1982
Cited by 11
Lecture notes in computer science · 1980
Cited by 146
United States · 1983
Cited by 0
H.J. Touati · ACM SIGPLAN Notices · 1987
This article presents an argument and a counter-argument on Ada being an object oriented programming language, in the style of a famous classic author. This work was done as part of the final examination for an advanced Programming Language Design course taught by Professor Larry Rowe at UC Berkeley in Fall 1986.
Cited by 3
Defense Technical Information Center (DTIC) · 1983
Ada is a programming language designed in accordance with requirements defined by the United States Department of Defense: the so-called Steelman requirements. Overall, these requirements call for a language with considerable expressive power covering a wide application domain. As a result, the language includes facilities offered by classical languages such as Pascal as well as facilities often found only in specialized languages. Thus the language is a modern algorithmic language with the usual control structures, and with the ability to define types and subprograms. It also serves the need for modularity, whereby data, types, and subprograms can be packaged. It treats modularity in the physical sense as well, with a facility to support separate compilation. In addition to these aspects, the language covers real-time programming, with facilities to model parallel tasks and to handle exceptions. It also covers systems programming; this requires precise control over the representation of data and access to system-dependent properties. Finally, both application-level and machine-level input-ootput are defined.
Cited by 0
Barnes, John Gilbert Presslie, Firth, Robert, Ichibiah, Jean · CERN Document Server (European Organization for Nuclear Research) · 1980
Cited by 0
Robert Herloski · RIT Scholar Works (Rochester Institute of Technology) · 1987
This thesis describes the characteristics of a novel computational technique called automatic differentiation, and gives an implementation of this technique in the Ada® programming language. Automatic differentiation is a technique with which one can directly calculate the value of any partial derivative of nearly any function that has been programmed into a computer (at any point of interest), without requiring the algebraic derivation of the desired partial derivative of the function of interest. It is closely related to the technique of power series manipulation, with which one can find, for example, the sum, product, square root, etc., of given power series. The result of this work is an Ada package called DIFFERENTIALS, which exports various types and functions that can be included in user programs. The first half of this thesis describes the technique of automatic differentiation, gives the fundamental specification for the DIFFERENTIALS package, and explains the details of the implementation. The second half of this thesis gives specific examples of the use of DIFFERENTIALS in the area of optical system analysis. Presented there are several user programs that use the DIFFERENTIALS package to calculate various partial derivatives of the ray tracing function, and illustrate the proper usage of this package.
Cited by 0Open access
Brad Moore, Luis Miguel Pinho, Stephen Michell et al. · 2016
The increased presence of parallel computing platforms bringsconcerns to the general purpose domain that were previouslyprevalent only in the specific niche of high-performancecomputing. As parallel programming technologies become moreprevalent in the form of new emerging programming languagesand extensions of existing languages, additional safety concernsarise as part of the paradigm shift from sequential to parallelbehaviour.In this paper, we propose various syntax extensions to the Adalanguage, which provide mechanisms whereby the compiler isgiven the necessary semantic information to enable the implicitand explicit parallelization of code. The model is based on earlierwork, which separates parallelism specification from concurrencyimplementation, but proposes an updated syntax with additionalmechanisms to facilitate the development of safer parallelprograms. © CISTER Research Center www.cister.isep.ipp.pt
Cited by 0
American National Standards Institute., United States. Dept. of Defense · The Journal of the Abraham Lincoln Association
Cited by 0Open access
S. Tucker Taft, Brad Moore, Luís Miguel Pinho et al. · 2014
The increased presence of parallel computing platforms brings concerns to the general purpose domain that were previously prevalent only in the specific niche of high-performance computing. As parallel programming technologies become more prevalent in the form of new emerging programming languages and extensions of existing languages, additional safety concerns arise as part of the paradigm shift from sequential to parallel behaviour.
Cited by 14
United States Department of Defense · 1983
Cited by 49
ACM SIGAda Ada Letters · 2010
column Share on Maintenance and revision of the Ada programming language: outline announcementACM SIGAda Ada LettersVolume 30Issue 2August 2010pp 25–26https://doi.org/10.1145/2593988.2593991Published:30 August 2010Publication History 0citation30DownloadsMetricsTotal Citations0Total Downloads30Last 12 Months1Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Cited by 0