A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
TCOL Ada : an intermediate representation for the DOD standard programming language
2018
In level, TCOL resembles an abstract programming language, Le. the set of operators is much closer to the particular source language than to the machine code. ...
The TCOL representation of a program is an abstract program syntax tree. ...
doi:10.1184/r1/6610277.v1
fatcat:vk5gkecdy5bvpnwvxttsgdanye
TCOL Ada : revised report on an intermediate representation for the DOD standard programming language
2018
Ada is a language in which there are many opportunities for program manipulation of various forms for optimization purposes. ...
programs in Ada. ...
If the source language refers to an Instance of a type then the Front End must supply the type of the Instance as the operand. On arraysi see 'FIRST(/). On arrays. ...
doi:10.1184/r1/6610280.v1
fatcat:k3l3p2orsfcivpcfgdktjybf54
The Preparation of Guidelines for Portable Programming in High-Level Languages
1982
Computer journal
Programming even in a folly standardized high-level language requires great care if portable programs are to result. ...
We review two recent attempts at producing guidelines for portable programming in high-level languages. ...
I am grateful to the Commission of the European Communities, whose support made the work on Ada portability possible, and to the following members of Ada-Europe who ...
doi:10.1093/comjnl/25.3.375
fatcat:b45kpxy5mrchbbgzdmr75t2vqm
The importance of Ada programming support environments
1982
Proceedings of the June 7-10, 1982, national computer conference on - AFIPS '82
(much as package Standard functions in Ada now), and such Ada programs will transfer to every machine on which an Ada compiler interfaces to a standard KAPSE. ...
If it can be standardized (with a machine-independent interface, given, for example, as an Ada package), one can write machineindependent Ada programs which call on KAPSE services in a standard notation ...
doi:10.1145/1500774.1500815
dblp:conf/afips/Standish82
fatcat:l5whtzsndjb6nkqdkefgupuix4
Using Ada in non-CS majors
1998
Proceedings of the 1998 annual ACM SIGAda international conference on Ada - SIGAda '98
decided that it was more important to use the standard language at USAFA. ...
The primary motivations for transitioning to Ada were to use the "standard" programming language at USAFA, to avoid "relearning" of basic constructs, which in turn allows an introduction to more advanced ...
doi:10.1145/289524.289533
dblp:conf/sigada/ChamillardLY98
fatcat:62uzvb3g2jhlpbf2ajyqgrgoxe
Using Ada in non-CS majors
1998
ACM SIGAda Ada Letters
decided that it was more important to use the standard language at USAFA. ...
The primary motivations for transitioning to Ada were to use the "standard" programming language at USAFA, to avoid "relearning" of basic constructs, which in turn allows an introduction to more advanced ...
doi:10.1145/301687.289533
fatcat:igal2tlssve4zongvowbxtpyjq
Why Ada is not just another programming language
1986
Communications of the ACM
Ada is here to stay; Ada is not a passing fad; Ada is not "just another programming language." FIGURE la. STEELMAN Requirements Topics
Programming. ...
It is essential to understand that the Ada language is not the same thing as the Ada "program" when "program" is used in this context. ...
doi:10.1145/6424.6425
fatcat:3w7tg6vygvhqjpotdghbdz6lkq
Page 2 of American National Standards Institute. ANSI Reporter Vol. 17, Issue 11
[page]
1983
American National Standards Institute. ANSI Reporter
ANSI Reporter
Ada Language Could Save the Pentagon Billions
A new computer programming language called Ada, selected by the U.S. ...
American National Standard Ref- erence Manual for the Ada Program- ming Language, ANSI/MIL-STD 1815A-1983, resulted from a co- operative effort of the Department of Defense, industrial organizations, universities ...
Ada conformity assessments
1999
Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99
In the main part of the work conformity assessments for Ada C, C++, and Java are compared. It is shown that the process as practiced with Ada is unique compared to other programming languages. ...
This paper presents the actual status of Ada Conformity Assessments after the transition of Ada Conformity Assessments from the Ada Joint Program Office to ISO. ...
and validation of programming languages. ...
doi:10.1145/319294.319310
dblp:conf/sigada/Tonndorf99
fatcat:qxwaw442brc3pb7wwsq76fdiv4
Ada conformity assessments
1999
ACM SIGAda Ada Letters
In the main part of the work conformity assessments for Ada C, C++, and Java are compared. It is shown that the process as practiced with Ada is unique compared to other programming languages. ...
This paper presents the actual status of Ada Conformity Assessments after the transition of Ada Conformity Assessments from the Ada Joint Program Office to ISO. ...
and validation of programming languages. ...
doi:10.1145/319295.319310
fatcat:zzadwjx5g5c77ani4ydygvudha
Ada and the software vulnerabilities project
2010
ACM SIGAda Ada Letters
This article provides a synopsis of these vulnerabilities with respect to the Ada programming language [2]. ...
This TR contains vulnerabilities that may be applicable to a programming language or application. ...
Ada.3.NSQ.4 Implications for standardization Ada standardization committees can work with other programming language standardization committees to define library interfaces that include more than a program ...
doi:10.1145/2593988.2593992
fatcat:uqgpah6o6fac7blzhkx7a32tb4
Page 22 of University Computing : The Bulletin of the IUCC Vol. 11, Issue 1
[page]
1989
University Computing : The Bulletin of the IUCC
The promise of portability of Ada programs looks
more solid than with most other languages. ...
In addition, Ada was designed so that standard software components could be independently written, compiled and tested. ...
Ada in Real-time Embedded System
2013
Research Journal of Applied Sciences Engineering and Technology
Ada has an important role in the real-time/embedded/safety-critical areas. It is the only ISO-standard, object-oriented, concurrent, real-time programming language. ...
In this study it will be shown why Ada is used as the new standard for real-time programming languages and basic characteristics of real-time programming system in general and how they are addressed in ...
In 2005, Ada became an ISO standard. The current version of the Ada language standard is known as Ada 2005. ...
doi:10.19026/rjaset.5.4528
fatcat:3g7rqd6ijbg3bdlphlp2hix4lq
Is Ada too big? A designer answers the critics
1984
Communications of the ACM
The COBOL standard defines over 104,000 different subsets. Is "'small is beautiful" an appropriate criterion for programming languages? ...
(The ISO process for standardizing Ada has an uncertain time scale.) This uncertainty does not seem to be due to the size of the language. ...
doi:10.1145/69610.69613
fatcat:u54p4s4pxnccrpxjm7a6uxpmhy
Page 4 of American National Standards Institute. ANSI Reporter Vol. , Issue
[page]
1990
American National Standards Institute. ANSI Reporter
Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815 A-1983. ...
Database Language — Embedded SQL, ANSI X3.168-1989, specifies syntax and semantics for embedding SQL language statements into application programs written in a standard programming language. ...
« Previous
Showing results 1 — 15 out of 23,411 results