Programmin­g

Ada in Action (with Practical Programming Examples) Ada in Action (with Practical Programming Examples)- Book by Do-While Jones. Ada Oriented Textbooks Ada Oriented Textbooks- An Annotated Sampling of Textbooks. Rendezvous with Ada 95 Rendezvous with Ada 95- Description, table of contents, and online ordering. Ada for Software Engineers Ada for Software Engineers- Table of contents, and full text as a downloadable PDF. High Integrity Ada: The Spark Approach High Integrity Ada: The Spark Approach- By John Barnes; Addison-Wesley, 1997, ISBN 0201175177. Author active in all stages of Ada development, on original Ada 83 design team, part… Ada 95 Rationale: The Language, the Standard Libraries Ada 95 Rationale: The Language, the Standard Libraries- By Laurent Guerby, Ada 9X Design Team; Intermetrics, Inc., 1994-1996. Documents new Ada international standard ISO/IEC 8652… Ada 95: The Lovelace Tutorial Ada 95: The Lovelace Tutorial- By David A. Wheeler; Introduces this widely used language. Reader should know an algorithmic programming language, but need not know Ada. Full text … Ada 95 Reference Manual: Language and Standard Libraries Ada 95 Reference Manual: Language and Standard Libraries- By Kempe Software Capital Enterprises; 1994-1997. Hypertext version of Ada 95 RM, revised Ada International Standard ISO/… A Detailed Description of the GNU Ada Run-Time A Detailed Description of the GNU Ada Run-Time- Home of book in Javier Miranda's Ada Corner. Onlen, PDF, PS versions. Changes history. Adalog Debug Adalog Debug- A package provides a sophisticated trace facility, especially valuable for multi-tasking programs. The child package Debug.Timing also provides utilities for measuri… The Big_Number Page The Big_Number Page- Several high-precision mathematical packages. Ada-MPI Ada-MPI- An Ada 95 binding to the Message Passing Interface (MPI). Ada and Java Lexer Ada and Java Lexer- by Christoph Karl Walter Grein with Ada sources. Ncurses Binding Ncurses Binding- An Ada 95 binding to the Ncurses console library. AdaSDL AdaSDL- A set of Ada (programming language) bindings, ports, and some original applications based on SDL (Simple DirectMedia Library). [Open source, LGPL] GLADE for GNAT GLADE for GNAT- Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT. [Nothing to interface builder of… Ada Semantic Interface Specification for GNAT Ada Semantic Interface Specification for GNAT- Providing an up to date implementations of ASIS = Ada Semantic Interface Specification for GNAT. ASIS is a published international I… AdaCL, Ada Class Library AdaCL, Ada Class Library- Textfile search and replace (as Library and demo programs) Trace support. Protected and Task Queues. [Open source, GPL] AdaOpenGL AdaOpenGL- An Ada binding to OpenGL. [Open source, BSD License] ASL ASL- The Ada Structed Library is a collection of container and semaphore types. ncurses ncurses- GNU ncurses includes an Ada 95 binding. AdaSockets AdaSockets- BSD sockets binding for the Ada programming language. [Open source, modified GPL] Tat Tat- A thick Ada binding to the Tk windowing library. Lego Mindstorms Lego Mindstorms- Ada interface to Lego Mindstorms. Ngeadal Ngeadal- An Ada library for Unicode. Florist Florist- A POSIX Ada binding, including real-time extensions (this is the original page, download it where you download GNAT). pyAda pyAda- An Ada 95 binding to the Python interpreter. BLAS BLAS- An Ada 95 binding to the BLAS Fortran library, which contains routines for doing fundamental vector and matrix operations. Libra Libra- A general library for Ada '95 under Unix-like operating systems. It currently provides some basic data structures. Also it provide abstractions for NNTP and SMTP commands. Gnuwin32 and Ada95 Gnuwin32 and Ada95- This is the mail archive of the [email protected] mailing list for the Cygwin project. Beyond Ada95 Beyond Ada95- The Addition of Persistence and its Consequences. Augmenting Ada95 with Additional Real Time Features Augmenting Ada95 with Additional Real Time Features- The purpose of this paper is to present several additions to Ada which improve real time properties of the language. Ada95 and Safety Critical Software Ada95 and Safety Critical Software- Ada standard Iso Iec. Henry Baker Ada Papers Henry Baker Ada Papers- Ada papers available for WWW browsing. Ada Articles Ada Articles- Links to Ada articles. How to modify the GNAT Run Time to experiment with Ada extensions How to modify the GNAT Run Time to experiment with Ada extensions- And other studies related with Drago, an experimental language developed to support the implementation of cooper… Comp.compilers Comp.compilers- Ada compilers for parallel platforms. Resources Resources- Ada Articles in Trade Magazines. Ada 95, Modula-3, CLOS Ada 95, Modula-3, CLOS- Brief comments on slide from computer science course with many languages. Translating Time Petri Net Structures into Ada95 Statements Translating Time Petri Net Structures into Ada95 Statements- The Petri Nets. C++ to Ada95 Translator C++ to Ada95 Translator- From Comp.compilers newsgroup. C/C++ to Ada Help and Discussion. C/C++ to Ada Help and Discussion.- C++ to Ada page. C to Ada C to Ada- Translating by Derek Jones. Ada 95 Demo Combines Java Ada 95 Demo Combines Java- Bytecode on the Web, AdaIC Newsletter Fall 1997. SourceForge SourceForge- Project Information - PyAda. Intellectual Ammunition: C/C++ to Ada Help and Discussion Intellectual Ammunition: C/C++ to Ada Help and Discussion- Tutorial for C and C++ programmers to show them what Ada can provide and how to set about turning the knowledge and expe… Puk Puk- Ada83 and Ada95. Ada 83 Quality and Style Ada 83 Quality and Style- HTML and Poscript versions. DOM 2 Events DOM 2 Events- Interfaces for mutation and user interface events. Allows a script to capture events, and includes support for event bubbling and cancellation. DOM 2 HTML DOM 2 HTML- Builds on DOM 2 core, adding interfaces specific to HTML documents.