Documentation

Documents not linked are work in progress; they will be linked here when complete.

See PublishedPapers for research materials not present here.

FAQ
Glossary

User Documentation

The Lexi Users' Guide; the lexi(1) manpage
The SID Users' guide; the sid(1) manpage
Calculus Users' Guide; the calculus(1) manpage
The TDF Linker
tspec - An API Specification Tool
TenDRA Suite Purpose Overview

Developer Documentation

Porting TenDRA to Different Operating Systems
Adding new APIs with tspec
The SID Developers' Guide
Style Guide
C++ Producer Guide

Reference Material

PL_TDF Definition
TDF Diagnostic Specification, Issue 3.0
A Guide to the TDF Specification, Issue 4.0

Research

TDF and Portability
Validation of TenDRA Capability to Implement a Set of Commands for the Linux Operating System
Validation of TenDRA Capability to Implement a UNIX-like Operating System