Lattice Automata
Abstract elided by the publisher.
Related papers
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification SAS 2007
- Reconfigurable asynchronous logic automata: (RALA) POPL 2010
- Modeling Concurrency with Geometry POPL 1991
- Complete Lattices and Up-To Techniques APLAS 2007
- Static Extensionality Checking for Lambda-Definable Functions Over Lattices APLAS 2002
- Static Monotonicity Analysis for lambda-Definable Functions. over Lattices APLAS 2001
- Exploiting the commutativity lattice PLDI 2011
- Static Monotonicity Analysis for lambda-definable Functions over Lattices VMCAI 2002