paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multiple Input Parsing and Lexical Analysis

多输入解析与词法分析
TOPLAS 45(3)2023匹配度 2/10 · 该论文研究通用解析与词法分析(MGLL、多输入串解析),属于程序语言与形式语言/自动机方向,但未涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,交叉性很弱。引用 5 inbox
Elizabeth Scott, Adrian Johnstone, Robert Walsh
crossref: 2026-09-10

AI 速览

一句话:提出通用解析扩展 MGLL,支持高效同时解析多个输入串,并据此增强词法分析,兼顾字符级与 LEX/YACC 风格。

该文针对词法分析与上下文无关解析通常只处理单个输入串的限制,提出两项新方法。其一是通用解析的扩展 MGLL,支持将多个输入字符串高效地一起解析;其二是利用该多输入解析能力的增强词法分析方案。该工作为形式语言规格与消歧提供了新的表达力,并将新技巧引入词法与语法分析领域。其框架可覆盖从字符级解析到经典 LEX/YACC 式词法/语法分离的两端,从而兼取两类方法的优势。

问题
传统词法分析与上下文无关解析通常面向单个输入串,且字符级解析与经典 LEX/YACC 式词法/语法分离各有利弊,难以兼得。
方法
提出通用解析扩展 MGLL,使多个输入串可被高效地一起解析,并设计利用该能力的增强词法分析。
评估
摘要未报告实验,评估体现在该框架可覆盖从字符级解析到 LEX/YACC 风格分工的两端,并为形式语言规格与消歧提供新能力。
原文摘要(Abstract)

This article introduces two new approaches in the areas of lexical analysis and context-free parsing. We present an extension, MGLL, of generalised parsing which allows multiple input strings to be parsed together efficiently, and we present an enhanced approach to lexical analysis which exploits this multiple parsing capability. The work provides new power to formal language specification and disambiguation, and brings new techniques into the historically well-studied areas of lexical and syntax analysis. It encompasses character-level parsing at one extreme and the classical LEX/YACC style division at the other, allowing the advantages of both approaches.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2128,
  title = {Multiple Input Parsing and Lexical Analysis},
  author = {Elizabeth Scott and Adrian Johnstone and Robert Walsh},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {45},
  number = {3},
  year = {2023},
  doi = {10.1145/3594734}
}