5. Formal Specification

The specification modules were ordered in order of dependence. That is all other .sl files depend on objects defined in databases.sl and exported.

The SpecL Docs are found here SpecL Doc




Prev: Developer Overview | Next: None | Up: index | Top: index