Tiny C Compiler (tcc or TinyCC) related files

Here’s information specific to the Tiny C Compiler (tcc or TinyCC), originally developed by Fabrice Bellard. I used this small compiler for a lot of my work. tcc is Free-libre / open source software, so it can be reviewed and modified by anyone, and its small size also had many advantages for me.

Units of Measure in F#

As recently announced in the September 2008 F# CTP (Community Technical Preview), the F# programming language now has full support for static checking and inference of units-of-measure. In this series of articles I'll gently introduce the feature.

The Tokeneer Project

In order to demonstrate that developing highly secure systems to the level of rigor required by the higher assurance levels of the Common Criteria is possible, the NSA (National Security Agency) asked Praxis High Integrity Systems to undertake a research project to develop part of an existing secure system (the Tokeneer System) in accordance with Praxis’ Correctness by Construction development process.