Filters








23,411 Hits in 3.1 sec

TCOL Ada : an intermediate representation for the DOD standard programming language

Bruce R. Schatz
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

David Alex Lamb, Joseph M. Newcomer, Bruce W. Leverett, David R. Levine
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

P. J. L. Wallis
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

Thomas A. Standish
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

A. T. Chamillard, Ronald J. Lisowski, Richard R. Young
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

A. T. Chamillard, Ronald J. Lisowski, Richard R. Young
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

Jean E. Sammet
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

Michael Tonndorf
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

Michael Tonndorf
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

Alan Burns, Miguel Pinho, Erhard Ploedereder, Jorge Real, J. P. Rosen, Ed Schonberg, S. Tucker Taft, T. Vardanega, Joyce L. Tokar, Stephen Baird, John Barnes, Rod Chapman (+4 others)
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

Sima Sinaei, Rabee Sharifi Rad, Elnaz Ghodsvali
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

Brian A. Wichmann
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