Table of Contents

Part 1 Constraint logics for linguistic information: the structure of grammatical information; the PATR formalism; idealizations of the constraint-based view; constraint-based computer language description; history of constraint-based formalisms; the structure of constraint-based formalisms; appropriate logics for constraint-based formalisms; properties of appropriate constraint-logic models; operations on models. Part 2 Grammars and parsing: defining constraint-based formalisms; grammar interpretation; the abstract parsing algorithm; auxiliary notions for item semantics; a correctness proof for the algorithm; instances of the abstract algorithm. Part 3 A compendium of model classes: finite-tree models; infinite-tree models; eqtree models; graph models. Part 4 Parsing as type inference: natural and computer languages; a difference in semantics; constraint-based computer-language formalisms.