Search in ATOLL bibliography

all | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | PS|PDF|HTML BIB|Raw BIB|Submit

Year:

Type:

Search: (please use the notation of Alta Vista simple queries)

Key search


Année 1991

Articles et chapitres de livre

[187]
Towards a Uniform Formal Framework for Parsing, pages 153–171. Kluwer Academic Publishers, 1991.
Bernard Lang.
[BibTeX] [PS Compressed]
We show that the informal concept of packed shared forest often used to represent compactly the set of all parses of a sentence w.r.t. a Context-Free Grammar can be seen itself as a CF grammar that generates only thoses parses. This approach gives a better understanding of the real nature of these forest representation, and of the parsing process itself. The approach can be extended to the parsinf of ill-formed input, and to more complex formalisms such as Horn Clauses or Definite Clause Grammars.

Communications à des congrés, colloques, etc.

[188]
A tool for abstract interpretation : Dynamic programming. In Actes JTASPEFL'91, pages 151–156, Bordeaux (FRANCE), October 1991.
Éric Villemonte de La Clergerie.
[BibTeX] [PS Compressed]
We briefly recall principal abstract interpretation evaluation algorithms for Logic Programs before presenting DyALog, a Logic Programs Dynamic Programming interpreter likely to be an interesting generic abstract interpretation framework. DyALog ensures answer completeness, termination for finite domains, and computation sharing. Major resolution strategies can be simulated.

Eric de la Clergerie
Home Page