Abstract
This paper presents Subsumption—oriented Push—Down Auto-mata (SPDA), a very general stack formalism used to describe forest (“AND- OR” tree) traversals. These automata may be used for parsing or the interpretation of logic programs. SPDA allow a Dynamic Programming execution which breaks computations into combinable, sharable and storable sub-computations. They provide computation sharing and operational completeness and solves some of the problems posed by the usual depth-first, left-to-right traversals (as implemented in PROLOG). We give an axiomatization of SPDA and two examples of their use: the evaluation of logic programs and parsing with Tree Adjoining Grammars. SPDA may also serve in other areas such as Constraint Logic Programming, Abstract Interpretations, or Contextual parsing.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
FranÇois Barthélemy and Eric Villemonte de la Clergerie. Subsumption-oriented push-down automata and dynamic programming with subsumption. Technical report, INRIA. to appear.
A. K. Joshi, L. Levy, and M. Takahashi. Tree adjunct grammars. Journal of the Computer and System Science, 10(1):136–163, Feb 1975.
Tadashi Kanamori. Abstract interpretation based on alexander templates. TR-549, ICOT, March 1990.
Tadashi Kanamori and Tadashi Kawamura. Abstract interpretation based on OLDT resolution. Research report, ICOT, Tokyo, July 1990.
Bernard Lang. Deterministic techniques for efficient non-deterministic parsers. In Proc. of the 2 nd Colloquium on automata, languages and Programming, pages 255–269, Saarbrücken (Germany), 1974. Springer-Verlag (LNCS 14).
Bernard Lang. Complete evaluation of Horn clauses: an automata theoretic approach. Technical Report 913, INRIA, Rocquencourt, France, nov 1988. to appear in Int. Journal of Foundations of Computer Science.
Harry H. III Porter. Earley deduction. Technical Report CS/E-86-002, Oregon Graduate Center, Beaverton, Oregon, March 10 1986.
H. Seki. On the power of alexander templates. In Proc. of the 8th ACM symps. on principles of Databases Systems, 1989.
H. Tamaki and T. Sato. OLD resolution with tabulation. In E Shapiro editor, editor, Proc. of Third Int. Conf. on Logic Programming, pages 84–98, London, 1986. Springer-Verlag.
Eric Villemonte de la Clergerie. A tool for abstract interpretation: Dynamic programming. In Actes JTASPEFL'91, pages 151–156, Bordeaux (FRANCE), Octobre 1991.
Eric Villemonte de la Clergerie. DyALog: une implantation des clauses de horn en programmation dynamique. In Proc. of the 9th Séminaire de Programmation en Logique, pages 207–228. CNET, May 90.
Laurent Vieille. Database-complete proof procedures based on SLD resolution. In Proc. of the 4 int. Conf. on Logic Programming, May 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barthélemy, F., Villemonte de la Clergerie, E. (1992). Subsumption-oriented Push-Down Automata. In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_130
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_130
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive