解析@SLE2017是第五届解析编程语言年度研讨会。目标参与者是解析器生成工具的作者以及编程语言和其他软件语言的解析器的作者。在本研讨会中,“解析”是一种计算,它以一系列字符作为输入,并生成语法树或图形作为输出。这可能包括使用正则表达式进行标记化,使用无上下文语法派生树,以及映射到抽象语法树。其目标是汇集当今解析领域的专家,以探索开放性问题,并可能促成新的合作。主题可能包括算法、实现和生成技术、元形式主义(BNF)的语法和语义等。我们希望吸引已经或正在开发广泛解析领域的理论、技术和工具的参与者。
接受的论文
呼吁捐款
主要关注点解析@SLE是形式化语言语法规范和分析,在编程语言实现中有应用,在生物信息学和大数据中有新兴应用。
研讨会是有意非正式的,其主要目标是促进思想交流,并强调新的进展和应用。我们特别尝试将当前编译器生成、解析器生成和元编程工具集的作者、开发人员和用户聚集在一起。
我们征求三种谈话建议:
- 位置演示文稿旨在总结成就和挑战,也许是总结整个研究小组的工作;
- 技术演示涵盖特定预付款
- 工具演示显示正在运行的软件,而不是屏幕截图和工具规范,并在休息期间提供交互式会话的机会。
在实际编程语言的上下文中,有许多突出的理论和实际问题。特别是,面对IDE构建、逆向工程、软件度量和特定领域(嵌入式)语言等应用领域,编程语言的演变和多样性带来了许多解析挑战。例如,我们能为解析器生成找到好的模块化形式吗?对于需要比无上下文语法和正则表达式提供更多计算能力的传统语言和新语言,我们如何获得(快速且正确的)解析器?我们如何利用多核处理器和GPU提供的并行性?我们如何在不经过多年努力的情况下为C++和Scala等语言提供经过验证的解析器?
许多更广泛的计算领域也严重依赖解析器,例如计算语言学、网络流量分类、网络安全和生物信息学。这些领域通常有自己不寻常的要求,例如:速度,特别是在网络算法方面;存储器效率,例如在嵌入式设备中;并采用快速/动态解析器构造作为语法。我们鼓励提交最广泛应用领域中的解析挑战和解决方案。
演讲提案应采用ACM 2列10pt或11pt格式的1页US-letter摘要形式。提交地点待定。
不会有正式出版的会议记录,但已接受的摘要将提前分发给所有参与者,以及演示者希望提供的任何其他材料。