David Cabrero

Generalized LR parsing for extensions of context-free grammars

Manuel Vilares, Miguel Á. Alonso Pardo, David Cabrero, 2000 .

A New Approach to the Construction of Generalized LR Parsing Algorithms

Miguel A. Alonso, Manuel Vilares, David Cabrero, 2006 .

Certifying Properties of Programs Using Theorem provers

Víctor M. Gulías, J. Santiago Jorge, David Cabrero, 2007 .

Tabular Algorithms for TAG

Miguel A. Alonso, Manuel Vilares, David Cabrero, 1999 .