ADA 95

DDC-I

Validated 1999 with ACATS2.2 (with Sparc, PowerPC, Intel x86)

CA

C, C++

DERA

Base of most HLL/ANDF activities (see also)

PA

PL

DERA

A structured TDF assembler (see also)

PA

TDF text

DERA

Generates TDF bitstream code from tdf ascii description

PA

C,C++

Etnoteam

Not 100% compatible to DRA's compiler

SC

Dylan

Etnoteam

Not confirmed

CA

F77/F66

Etnoteam

Language programming interface (LPI) for Fortran tokens are necessary, as well as a runtime system. F77 planned.

CA

Fortran90

NPAC Syracruse
University

Experimental status, tokens for vector/matrices defined

SC

Occam

SGS-Thomson Microelectronics

Not confirmed

CA

ARM

UNIX, RISCOS

Etnoteam

TDF version ?

CA

AWK

?

Etnoteam

TDF version ?

CA

DEC Alpha

OSF1

Etnoteam

TDF version ?

CA

DEC Alpha

OSF1

DERA

TDF version 4.0

PA

Hyperstone E1

?

Etnoteam

TDF version 4.0

SC

HP-PA

HPUX Unix

DERA

TDF version 4.0

PA

HP-PA

HPUX Unix

Etnoteam

TDF version 3

CA

IBM RS 6000

AIX

DERA/OSF

TDF version 4.0

PA

IBM RS 6000

AIX

Etnoteam

TDF version ?

CA

Intel 80X86

LINUX, SCO Unix, Solaris,
Srv4.2

DERA

TDF version 4.0

PA

MIPS

Irix Unix, Ultrix

DERA

TDF version 4.0

PA

PowerPC

AIX

DERA/OSF

TDF version 4.0

PA

PowerPC

AIX

Etnoteam

TDF version 3

CA

Siemens SAB80C167

Solaris, OS/2

University of Karlsruhe

TDF version 4.0. Based on 80x86/Mips installer

SC

SGS Thomson Chameleon

Solaris, SunOs

University of Karlsruhe

TDF version 3.1

PF

Sun Sparc

Sun Os 4.1.x, Solaris

DERA

TDF version 4.0

PA

tcc/tchk

ANDF user interface

PA

tdfc

C to TDF producer

PA

tdfcpp

C preprocessor

PA

spec_linker

C spec linker

CA?

tot_o

error viewer

CA?

installer

common installer source:
(a) reader etc. (b) construct

PA

alphatrans

TDF to DEC Alpha installer

PA

hppatrans

TDF to HP-PA installer

PA

mipstrans

TDF to Mips installer:
(a) Ultrix (b) Irix

PA

powertrans

TDF to POWER/PowerPC installer

PA

sparctrans

TDF to SPARC installer:
(a) SunOS 4.1.X (b) Solaris 5.X

PA

trans386

TDF to i386 installer for :
(a) SCO (b) UNIX_SV (c) Solaris (d) Linux

PA

disp

TDF pretty printer

PA

pl

PL/TDF compiler

PA

tld

TDF linker

PA

tnc

TDF notation compiler

PA

tsimp

TDF simplifier

PA

tspec

API specification tool

PA

ANDF interpreter

ANDF interpreter

Etnoteam

for TDF 3.X only, no update planned

CA

AVS

ANDF validation suite

OSF

useful for validating installers, TDF 4.0.
There are special license conditions for researchers.

CA

Code Integrity

Code analysis tool, API checking

MKS

Code analysis tool based on TenDRA machine (evaluation kit seems to be mostly identical to DRA's internet kit).

CA

REAP

Reverse program engineering service

InterGlossa

Based on ANDF C code is be generated e.g. from assembler or PROM formats, especially for microcontrollers.

CA

SCA

static ANDF checker

iXpoint

ANDF static code analysis tool that works on ANDF 4.0 level. Checks e.g. recursive structures, use of function pointers

CA