Higher-order types for grammar engineering.
Published: 2005
Language: eng
Number of pages: 225
Description: Linguistically precise general-purpose grammars of natural language enable a detailed semantic analysis that is currently unavailable to corpus-based approaches. Unfortunately, the engineering of such grammars is often tedious, time-consuming, error-prone, and inaccessible to new developers. This work seeks to alleviate the engineering problem by discovering, documenting, and exploiting structural patterns of current grammar signatures. More specifically, it mines the English Resource Grammar (ERG) for evidence of intended patterns of type usage and documents those patterns within the framework of Alexandrian design patterns. The structural patterns are then exploited by way of parametric types, special higher-order type constructors, and methods for automatic type selection. The applicability of the patterns is illustrated by ICEBERG, a higher-order refactoring of the ERG.
Notes: Source: Masters Abstracts International, Volume: 44-01, page: 0392.

Thesis (M.Sc.)--University of Toronto, 2005.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.