The Eightebed Programming Language

Conceived and implemented by Chris Pressey

Description

Eightebed is a small language with explicit malloc and free, Through a modicum of static analysis and runtime support, Eightebed is safe: it is not possible to dereference a dangling pointer or otherwise incorrectly-populated memory.

Eightebed was designed as a counter-example to Gregor Richards' claim that such a language would either need a garbage collector, or not actually implement free. Eightebed has a real free and has no garbage collector.

Documentation

• The Eightebed Programming Language

Browse

---

Copyright ©2011 Cat's Eye Technologies.
All rights reserved.