Typing termination in a higher-order concurrent imperative language

机译：以高阶并发命令式语言键入终止

代理获取

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

页面导航

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

著录项

作者
Boudol Gérard;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Typing termination in a higher-order concurrent imperative language [J] . Gerard Boudol Information and computation . 2010,第6期

机译：以高阶并发命令式语言键入终止
2. Modular Reasoning about Concurrent Higher-Order Imperative Programs [J] . Lars Birkedal ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第1期

机译：并发高阶命令式程序的模块化推理
3. Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language [J] . Neis Georg, Hur Chung-Kil, Kaiser Jan-Oliver, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015,第9期

机译：Pilsner：一种经过结构验证的高级命令式语言编译器
4. Fair Cooperative Multithreading or Typing Termination in a Higher-Order Concurrent Imperative Language [C] . Gerard Boudol International Conference on Concurrency Theory(CONCUR 2007); 20070903-08; Lisbon(PT) . 2007

机译：高阶并发命令式语言中的公平合作多线程或键入终止
5. THE CALCULI OF LAMBDA-NU-CS CONVERSION: A SYNTACTIC THEORY OF CONTROL AND STATE IN IMPERATIVE HIGHER-ORDER PROGRAMMING LANGUAGES. [D] . FELLEISEN, MATTHIAS. 1987

机译：LAMBDA-NU-CS转换的计算：指令式高阶编程语言中控制和状态的句法理论。
6. Production and Comprehension of Prosodic Markers in Sign Language Imperatives [O] . Diane Brentari, Joshua Falk, Anastasia Giannakidou, -1

机译：手语命令中韵律标记的产生和理解
7. A Higher-Order Extension for Imperative Synchronous Languages [O] . Eric Vecchié, Jean-pierre Talpin, Sébastien Boisgérault 2011

机译：强制性同步语言的高阶扩展

Typing termination in a higher-order concurrent imperative language

著录项

引文网络

相似文献

相关主题

期刊订阅