Show simple item record

dc.contributor.authorDriscoll, Evanen_US
dc.contributor.authorThakur, Adityaen_US
dc.contributor.authorBurton, Amandaen_US
dc.contributor.authorReps, Thomasen_US
dc.description.abstractWALi-NWA is a C++ library for constructing, querying, and operating on nested-word automata. It is a portion of the WALi library, which provides types and operations for weighted automata. While the NWA portions of WALi are mostly logically separate from the rest of WALi, it does use facilities provided by WALi and inter-operates with WALi's weighted pushdown system (WPDS) code.en_US
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleWALi: Nested-Word Automataen_US
dc.typeTechnical Reporten_US

Files in this item


This item appears in the following Collection(s)

  • CS Technical Reports
    Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison

Show simple item record