Browsing by Author "Reps, Thomas"
Now showing items 93-95 of 95
-
WALi: Nested-Word Automata
Driscoll, Evan; Thakur, Aditya; Burton, Amanda; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2011)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 ... -
Weighted Pushdown Systems and Their Applications to Interprocedural Dataflow Analysis
Reps, Thomas; Schwoon, Stefan; Jha, Somesh (University of Wisconsin-Madison Department of Computer Sciences, 2003)Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-all-paths value (for paths that meet a certain criterion). ... -
Weighted Pushdown Systems and Weighted Transducers
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2006)Pushdown Systems (PDSs) are an important formalism for modeling programs. Reachability analysis on PDSs has been used extensively for program verification. A key result, which made PDSs popular in the model-checking ...