Relation entre l'analyse par réduction de décalage et les continuations délimitées?

Quelqu'un a-t-il officialisé la relation entre les techniques d'analyse de réduction de décalage et les continuations délimitées?

Lors de la construction d'un analyseur ascendant (par exemple, les analyseurs LR), nous prenons une grammaire, puis représentons les états d'analyse sous forme d'ensembles d' éléments : productions augmentées de la forme , où et sont séquences de terminaux et de terminaux non terminaux. Le marqueur représente jusqu'où l'analyseur a pénétré dans la chaîne, avec représentant ce qui a été vu jusqu'à présent et représentant une prédiction de ce qui peut encore être analysé. $A \to \alpha \bullet \beta$ $\alpha$ $\beta$ $\bullet$ $\alpha$ $\beta$

Une action de changement de vitesse dans une transition de l'automate d'analyse syntaxique LR correspond à un préfixe de la pile contre , et le remplacer par . Une telle manipulation profonde de la pile ressemble à l'effet d'un opérateur de contrôle, mais ce n'est qu'une observation qualitative. $\alpha$ $A$

Quelqu'un a-t-il étudié le lien entre l'analyse par réduction de décalage et les opérateurs de contrôle délimités tels que décalage / réinitialisation?

pl.programming-languages parsing

— Neel Krishnaswami
source

Observation intéressante.

— Dave Clarke

On aurait pu s'attendre à ce que Michael Sperber ait écrit quelque part sur cette relation, compte tenu de son travail sur l'analyse syntaxique CPS LR et sur les suites délimitées, mais je n'ai rien trouvé.

— Sylvain

Je me souviens que Ken Shan avait mentionné ce lien avec moi en 2004 et suggéré que cela constituerait une excellente opportunité de jeu de mots. Je ne sais pas qu'il a écrit / codé quoi que ce soit à ce sujet depuis.

— Noam Zeilberger

Je crois que l'article suivant explore une partie de cette connexion, principalement en utilisant des continuations pour revenir en arrière lorsque les choses se produisent dans les analyseurs. Mais il y a certainement plus à faire ici.

Restauration modulaire grâce à l'enregistrement de contrôle: une paire de perles fonctionnelles doubles

Olin Shivers, Aaron Turon , ICFP 2011.

— Sam Tobin-Hochstadt
source