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?

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.