首页> 外文OA文献 >Regular-Language Semantics for a Call-by-Value Programming Language

【2h】

Regular-Language Semantics for a Call-by-Value Programming Language

机译：按值调用编程语言的常规语言语义

代理获取

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

页面导航

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

著录项

作者
Ghica Dan R.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The regular-language semantics of second-order idealized ALGOL [J] . Dan R. Ghica, Guy McCusker Theoretical computer science . 2003,第1a3期

机译：二阶理想化ALGOL的规则语言语义
2. Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) [J] . Hongseok Yang LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：概率编程语言中的一些语义问题（特邀演讲）
3. Kripke semantics for higher-order type theory applied to constraint logic programming languages [J] . Lipton James, Nieva Susana Theoretical computer science . 2018,第期

机译：Kripke语义对于高阶类型理论应用于约束逻辑编程语言
4. Data Refinement for Call-By-Value Programming Languages [C] . Yoshiki Kinoshita, John Power International workshop on computer science logic . 1999

机译：呼叫呼叫编程语言的数据细化
5. THE SEMANTICS OF SHARED VARIABLES IN PARALLEL PROGRAMMING LANGUAGES [D] . SHULMAN, NORMAN VICTOR 1986

机译：并行编程语言中共享变量的语义
6. The Effects of Bilingual Language Proficiency on Recall Accuracy and Semantic Clustering in Free Recall Output: Evidence for Shared Semantic Associations Across Languages [O] . Wendy S. Francis, Randolph S. Taylor, Marisela Gutiérrez, -1

机译：双语能力对自由召回输出中的召回准确性和语义聚类的影响：跨语言共享语义关联的证据
7. Regular-Language Semantics for a Call-by-Value Programming Language [O] . Dan R. Ghica 2008

机译：用于按值调用编程语言的常规语言语义

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号