Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
本论文针对 Rust 语言中解析和序列化操作的安全性与性能挑战，提出了一种名为 Vest 的新型框架。Rust 以其内存安全著称，但手写解析器和序列化器仍然容易出错且效率低下。现有方案（如 serde）虽提供自动化，但缺乏形式化验证，且难以
#parsing
共收录 3 条相关情报。
← 返回所有主题Robust Verification of PEG Parser Interpreters.
该论文提出并形式化了一种基于图表解析（chart parsing）的PEG（Parsing Expression Grammar）解析器解释器鲁棒性验证方法。作者定义了一个状态机，该状态机在一个脚手架（scaffold）数据结构上操作，脚手
Research Report: Parsing with the Logic FC.
本研究报告探讨了字符串逻辑 FC（Function-or-Constraint）在解析器组合中的应用。FC 逻辑最初在数据库理论中用于信息抽取，本文提出其应用范围可以更广，特别是作为统一框架来组合多种解析器，并与语言理论安全（LangSec