Show full item record

File(s):

Author(s)

Burton, Amanda; Thakur, Aditya; Driscoll, Evan; Reps, Thomas

Publisher

University of Wisconsin-Madison Department of Computer Sciences

Date

Mar 15, 2012

Abstract

WALi-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.

Permanent link

http://digital.library.wisc.edu/1793/60708 

Export

Export to RefWorks 

Part of

CS Technical Reports

Show full item record