tendra / doc / glossary / entries / calculus.xml

<?xml version="1.0" standalone="no"?>
<!DOCTYPE glossentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"



      <emphasis>calculus</emphasis> is an algebraic type
      system tool, for managing complex C type systems. It uses
      the TenDRA API checking techniques to enforce strong
      type checking and type encapsulation, and provides generic
      container types for lists, vectors etc.

  <!-- TODO see also: user/guides/calculus -->
  <glossseealso otherterm="typesystem"/>
  <glossseealso otherterm="api"/>