×

具有常规lookahead和rollback的符号字符串转换。 (英语) Zbl 1434.68117号

Voronkov,Andrei(编辑)等人,《系统信息学的观点》。2014年6月24日至27日,俄罗斯圣彼得堡,PSI 2014第9届国际Ershov信息学会议。修订论文选集。柏林:斯普林格。选择。笔记计算。科学。8974335-350(2015年)。
摘要:正确有效地实现字符串转换例程(如编码器、解码器和清理器)是一项困难且容易出错的任务。此类例程通常用于安全关键设置中,处理大量数据,并且必须高效、正确地工作。我们引入了一种新的声明性语言Bex,它构建在正则表达式、符号自动机和转换器的元素之上,并使编译方案成为C、C或JavaScript,从而避免了直接实现这些例程时可能出现的许多错误源。该方法允许使用符号自动机理论进行正确性分析,这在生成的代码级别是不可能的。此外,案例研究表明,生成的代码始终优于手工优化的代码。
整个系列请参见[Zbl 1318.68039].

理学硕士:

68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部