PLanCompS: Programming Language Components and Specifications
PLanCompS: Programming Language Components and Specifications
PLAnCompS：编程语言组件和规范
批准号：
EP/I032509/1
负责人：
Adrian Johnstone
金额：
$62.57万
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2011
资助国家：
英国
项目状态：
已结题
起止时间：
2011 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
GLL syntax analysers for EBNF grammars
用于 EBNF 语法的 GLL 语法分析器
用于 EBNF 语法的 GLL 语法分析器
DOI：
10.1016/j.scico.2018.06.001
发表时间：
2018
期刊：
Science of Computer Programming
影响因子：
1.3
作者：
[Scott E]
通讯作者：
Scott E
Derivation representation using binary subtree sets
使用二叉子树集的推导表示
使用二叉子树集的推导表示
DOI：
10.1016/j.scico.2019.01.008
发表时间：
2019
期刊：
Science of Computer Programming
影响因子：
1.3
作者：
[Scott E]
通讯作者：
Scott E
Modular grammar specification
模块化语法规范
模块化语法规范
DOI：
10.1016/j.scico.2013.09.012
发表时间：
2014
期刊：
Science of Computer Programming
影响因子：
1.3
作者：
[Johnstone A]
通讯作者：
Johnstone A
DOI：
10.1016/j.scico.2012.03.005
发表时间：
2013-10
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
[E. Scott;A. Johnstone]
通讯作者：
E. Scott;A. Johnstone
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
形式化方法教学 - 第三届国际研讨会和教程，FMTea 2019，作为第三届世界形式化方法大会的一部分举行，FM 2019，葡萄牙波尔图，2019 年 10 月 7 日，会议记录
形式化方法教学 - 第三届国际研讨会和教程，FMTea 2019，作为第三届世界形式化方法大会的一部分举行，FM 2019，葡萄牙波尔图，2019 年 10 月 7 日，会议记录
DOI：
10.1007/978-3-030-32441-4_11
发表时间：
2019
期刊：
影响因子：
--
作者：
[Johnstone A]
通讯作者：
Johnstone A
共 9 条
海外基金