Details of Link
 
 
TITLE
  Stepwise Automata Library 
SUBTITLE
  A library for manipulating unranked tree automata 
DESCRIPTION
  Stepwise Automata Library is a library for manipulating unranked
tree automata (where an unranked tree is a tree whose the number
of sons of a given node is unknown). The library provides functions
for membership, determinization, emptyness, boolean operations (union,
intersection, complementation).
 
AUTHOR
  Emmanuel Filiot 
AUTHOR'S LINK
  mailto:filiot@grappa.univ-lille3.fr 
COAUTHOR
   
COAUTHOR'S LINK
   
CLASSIFICATION
  XML related software 
RELEASE
  1.0beta 
STABILITY
  unknown stability 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
  3.06 
DEPENDS ON OPERATING SYSTEM
  Linux 
DEPENDS ON OTHER SOFTWARE
  Findlib
Binary Tree Automata Library (http://www.grappa.univ-lille3.fr/~filiot/tata/)
 
INFO LINK
  http://www.grappa.univ-lille3.fr/~filiot/tata/ 
DOWNLOAD LINK
  http://www.grappa.univ-lille3.fr/~filiot/tata/ 
DATE OF LAST MODIFICATION
  9 Sep 2003 


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