Distributed Lazy Evaluation: A Big-Step Mechanised Semantics
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics
复制标题
分布式惰性评估：一大步机械化语义
DOI：
10.1109/pdp.2014.43
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Schupp
中科院分区：
文献类型：
--
作者：
S. H. Haeri;S. Schupp
登录
查看更多内容
DOI：
10.1142/s0129626402000938
发表时间：
2002
期刊：
Parallel Process. Lett.
影响因子：
--
作者：
Mercedes Hidalgo;Yolanda Ortega
通讯作者：
Yolanda Ortega
发展一门语言：GLoPerspective
DOI：
10.1007/978-3-540-78789-1_1
发表时间：
2008
期刊：
Parallel Process. Lett.
影响因子：
--
作者：
M. Lumpe
通讯作者：
M. Lumpe
SugarHaskell 的布局敏感语言可扩展性
DOI：
10.1145/2364506.2364526
发表时间：
2013
期刊：
Parallel Process. Lett.
影响因子：
--
作者：
Sebastian Erdweg;F. Rieger;Tillmann Rendel;K. Ostermann
通讯作者：
K. Ostermann
DOI：
10.1007/s10009-010-0142-1
发表时间：
2010-09
影响因子：
1.5
作者：
Holger Krahn;Bernhard Rumpe;Steven Völkel
通讯作者：
Holger Krahn;Bernhard Rumpe;Steven Völkel
派生一个惰性抽象机
影响因子：
1.1
作者：
P. Sestoft
通讯作者：
P. Sestoft