首页> 外文OA文献 >Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

【2h】

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

机译：抽象抽象机器的重新化：弥合抽象抽象机器和抽象定义口译员之间的差距（功能珍珠）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Guannan Wei; James Decker; Tiark Rompf;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering [J] . Martin Ouimet, Kristina Lundqvist Journal of Universal Computer Science . 2008,第12期

机译：定时抽象状态机语言：实时系统工程的抽象状态机
2. Abstracts from Center to Advance Palliative Care National Seminar Palliative Care Everywhere: Bridging the Gaps November 12-14, 2015 San Antonio, TX Abstracts [J] . Journal of palliative medicine . 2016,第5期

机译：从中心到姑息治疗的摘要全国研讨会各地的姑息治疗：弥合差距2015年11月12日至14日，德克萨斯州圣安东尼奥市
3. Optimizing Abstract Abstract Machines [J] . J. Ian Johnson, Nicholas Labich, Matthew Might, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：优化抽象抽象机
4. Bridging the Gap between Physical and Abstract Worlds: Capturing Observed Phenomena in Abstract Models through MODELLINGSPACE [C] . Papadimitriou, I., Fiotakis, . 2006

机译：弥合物理世界与抽象世界之间的鸿沟：通过MODELLINGSPACE捕获抽象模型中的观测现象
5. Automating abstract interpretation of abstract machines [D] . Johnson, James Ian 2015

机译：自动化抽象机器的抽象解释
6. Abstract QS13: Bridging The Gap: Extending Free Flap Pedicle Length With Interposition Vein Grafts And Arteriovenous Loops [O] . Tobias J. Bos, Nicholas A. Calotta, Michelle Y. Seu, 2018

机译：摘要QS13：弥合差距：通过插入静脉移植物和动静脉套环延长游离皮瓣蒂的长度
7. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines [O] . Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, 2017

机译：通过抽象机器对HOcore中的λ微积分进行完全抽象编码

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

著录项

引文网络

相似文献

相关主题

期刊订阅