Details of Link
 
 
TITLE
  Timbuk 
SUBTITLE
  A tree Automata Library 
DESCRIPTION
  This library offers basic functions on Bottom-up Non-Deterministic
Tree Automata:

- boolean operations: intersection, union, inversion, etc...
- emptyness decision,
- cleaning, renaming,
- determinisation,
- parsing, pretty printing,
- writing complete specifications or computed automata to disk
- normalisation of transitions
- and some more...
 
AUTHOR
  Thomas Genet 
AUTHOR'S LINK
  http://www.irisa.fr/lande/genet 
COAUTHOR
  Valérie Viet Triem Tong 
COAUTHOR'S LINK
  http://www.irisa.fr/lande/viettrie 
CLASSIFICATION
  Formal tools 
RELEASE
  1.1 
STABILITY
  beta-test code 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
  known to compile with 3.00 (and soon with 3.04) 
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
   
INFO LINK
  http://www.irisa.fr/lande/genet/timbuk/ 
DOWNLOAD LINK
  http://www.irisa.fr/lande/genet/timbuk/timbuk_1.1.tar.gz 
DATE OF LAST MODIFICATION
  4 Apr 2002 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]