Ada - The ultimative language for professionals
This page contains links to important Ada-Sides, to some stuff I did years ago and finally a port of Aflex/Ayacc, which provides the Ada-version of the common flex and yacc for GNAT.
My most used Ada-resources are
- The Ada Homepage:
Makes most of my links superfluously. Go immediately to the bottom of that page.
- Lots of interesting packages (seems to get my no. 1)
- TASH: TASH is the implementation of a binding to Tcl/Tk from Ada.
- Ada for Linux Team Page: provides information for Ada-followers in the Linux community.
- ASIS: An Interface to the Ada95 Compilation Environment
- OpenGL AdaOpenGL Ada Bindings Development.
- The Ada and Software Engineering (ASE) Library : mirror1 ,
2 and
3
- AdaPower" and Booch components
- For Ada generating Java byte code look this link.
- to check out
- A commercialmath lib
- A rapid Ada - Tk gui builder
My activities with Ada:
- Getting started with Tash (mainly using the thin binding)
- Getting started with ASIS (Ada Semantic Interface Specification)
- Looking for what can _I_ do to support Ada on Linux (
- Convincing others with Ada's beautyful features (try for example
Ada, C, C++, and Java vs. The Steelman: a paper comparing 4 languages with an abstract requirement catalog, or a short article here).
I used Ada as one of three target languages of Maus. Maus is a source-to-source translator which translates algebraic specifications of abstract data types (ADT) to C/C++/Ada-programs, which then could be used by user programs.
Ada use for the real
- Paris Metro line 14,
more information
http://www.atelierb.societe.com/other_papers/french/utilise_B/utilisation_de_B.htm
http://www.atelierb.societe.com//PAGE_B/uk/atb-01.htm
- Various railroad-related articles linked at
SIGAda. And there is a whole site on Communication-Based Train Control.
Ayacc and Aflex
Here you can find files to make Ayacc and Aflex (see
Arcadia Research Project,
FTP )
run with gnatmake (GNAT) on UNIX-Systems!!!.
Gunzip and untar them in the directory where Ayacc/Aflex-sources have been put in. Then check out directory {ayacc|aflex}/src/gnat_unix for more details.
I could compile it with Linux 2.0.22 and Solaris 5.5.1. Please try Gnat 3.10p, a former version did not work on Linux.
Here you can find Solariscompiled bineries:
I should give an example of how to apply Ayacc and Aflex with gnat, cause it is
not what I call a real port. I just did some changes and provided a script. But look for yourself.
Ayacc and Aflex 2
Thanks to Christophe Gengembre, who found a >DOS version.
17.08.98
wlohmann@informatik.uni-rostock.de