Author: Van der Merwe, Andries Brink
Similar Items: Static analysis of regular expressions
- An investigation into performance-related issues of regular expression matching
- An algebraic framework for reasoning about privacy
- Implementing a smalltalk to Java translator
- The design of a specification language suitable for the generation of compilers
- A survey of proof systems for CSP
- Generalized nondeterminism and the succinct representation of regular languages