首页> 外文OA文献 >Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract)

【2h】

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract)

机译：面向并发值传递语言的经过验证的惰性实现（摘要）

代理获取

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

页面导航

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

著录项

作者
Ingólfsdóttir Anna; Pugliese Rosario;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 面向中国外语学习者的语言分析能力试题的开发与效度验证：一项基于Rasch分析的预试研究 [J] . 李兰荣, 罗少茜中国应用语言学：英文版 . 2014,第002期
2. Efficient Intensional Implementation for Lazy Functional Languages [J] . Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Mathematics in Computer Science . 2008,第1期

机译：惰性函数语言的有效内涵实现
3. Efficient Intensional Implementation for Lazy Functional Languages [J] . Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Mathematics in computer science . 2008,第1期

机译：惰性函数语言的有效内涵实现
4. Robin Milner 1934--2010: verification, languages, and concurrency [J] . Gordon Andrew D., Harper Robert, Harrison John, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：罗宾·米尔纳（Robin Milner）1934--2010年：验证，语言和并发
5. Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract) [C] . Chrysafis Hartonas, Matthew Hennessy International workshop on computer science logic . 1998

机译：具有高阶值传递的功能/并发语言的完整抽象性（扩展摘要）
6. Implementing concurrency in a process-based language. [D] . Lameed, Nurudeen. 2008

机译：以基于流程的语言实现并发。
7. Validation of the 8-item questionnaire for verifying stroke free status with and without pictograms in three West African languages [O] . Fred S. Sarfo, Mulugeta Gebregziabher, Bruce Ovbiagele, 2016

机译：验证8种问卷以验证三种西非语言是否带有象形图的无中风状态
8. Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing [O] . Hartonas Chrysafis, Hennessy Matthew 1998

机译：具有较高阶值传递的功能/并发语言的完全抽象性
9. Fully Abstract Model for Concurrent Logic Languages [R] . de Boer, F. S., Palamidessi, C. 1990

机译：并发逻辑语言的完全抽象模型

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅