The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
We present an algorithm for the generation of sentences from the semantic representations of Unification Categorial Grammar. We discuss a variant of Shieber's semantic monoto...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
In terms of both speed and memory consumption, graph unification remains the most expensive component of unification-based grammar parsing. We present a technique to reduce the me...