¿Relación entre el análisis por desplazamiento-reducción y las continuaciones delimitadas?

¿Alguien ha formalizado la relación entre técnicas de análisis de reducción de turnos y continuaciones delimitadas?

Al construir un analizador de abajo hacia arriba (p. Ej., Analizadores LR), tomamos una gramática y luego representamos estados de análisis como conjuntos de elementos : producciones aumentadas de la forma , donde α y β son secuencias de terminales y no terminales. El marcador ∙ representa qué tan lejos ha llegado el analizador a la cadena, donde α representa lo que se ha visto hasta ahora y β representa una predicción de lo que aún puede analizarse.$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

Una acción de transferencia en una transición del autómata LR de análisis sintáctico coincide con un prefijo de la pila contra , y reemplazarlo con A . Una manipulación tan profunda de la pila se asemeja al efecto de un operador de control, pero esto es solo una observación cualitativa.$\alpha$$A$

¿Alguien ha estudiado la conexión entre el análisis de reducción de desplazamiento y los operadores de control delimitados, como cambio / restablecimiento?

Creo que el siguiente artículo explora parte de esta conexión, principalmente mediante el uso de continuaciones para retroceder cuando las cosas suceden en los analizadores. Pero definitivamente hay más que hacer aquí.

Retroceso modular a través del registro de control: un par de perlas gemelas funcionales

Olin Shivers, Aaron Turon , ICFP 2011.