Compiling declarative specifications of parsing algorithms

  • Authors:
  • Carlos Gómez-Rodríguez;Jesús Vilares;Miguel A. Alonso

  • Affiliations:
  • Departamento de Computación, Universidade da Coruña (Spain), Coruña, Spain;Departamento de Computación, Universidade da Coruña (Spain), Coruña, Spain;Departamento de Computación, Universidade da Coruña (Spain), Coruña, Spain

  • Venue:
  • DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamental semantics while abstracting low-level detail. In this work, we present a compilation technique allowing the automatic transformation of parsing schemata to efficient executable implementations of their corresponding algorithms. Our technique is general enough to be able to handle all kinds of schemata for context-free grammars, tree adjoining grammars and other grammatical formalisms, providing an extensibility mechanism which allows the user to define custom notational elements.