From Language Concepts to Implementation Concepts

ROBERT MILNE

首页> 外文期刊>Higher-order and symbolic computation >From Language Concepts to Implementation Concepts

【24h】

From Language Concepts to Implementation Concepts

机译：从语言概念到实现概念

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

We outline some of the impact of Christopher Strachey, particularly by referring to work on program equivalence and implementation correctness for programming languages.

机译：我们概述了Christopher Strachey的一些影响，特别是通过引用有关编程语言的程序等效性和实现正确性的工作。

著录项

来源
《Higher-order and symbolic computation》 |2000年第2期|p.77-81|共5页
作者
ROBERT MILNE;
展开▼
作者单位

Nortel Networks, Harlow Laboratories, London Road, Harlow, Essex, CM1 9NA, United Kingdom;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
language design; program equivalence; implementation correctness;

机译：语言设计;程序等效;实现正确性;

相似文献

外文文献
中文文献
专利

1. CAD Scripting And Visual Programming Languages For Implementing Computational Design Concepts:A Comparison From A Pedagogical Point Of View [J] . Gabriela Celani, Carlos Eduardo VerzolaVaz International journal of architectural computing: IJAC . 2012,第1期

机译：用于实现计算设计概念的CAD脚本和可视化编程语言：从教学法角度的比较
2. The concepts of language and the language of concepts (editorial) [J] . Cimino JJ Methods of information in medicine . 1998,第4a5期

机译：语言的概念和概念的语言（编辑）
3. Serious games in tertiary education: A case study concerning the comprehension of basic concepts in computer language implementation courses [J] . Daniel Rodriguez-Cerezo, Antonio Sarasa-Cabezuelo, Mercedes Gomez-Albarran, Computers in Human Behavior . 2014,第feba期

机译：高等教育中的严肃游戏：关于计算机语言实施课程中基本概念理解的案例研究
4. Implementation Approach of Indian Language Gujarati Grammar's Concept “sandhi” using the Concepts of Rule-based NLP [C] . Nitesh Patel, Dhiren Patel International Conference on Computing for Sustainable Global Development . 2021

机译：印度语言古吉拉蒂语法的概念“Sandhi”的实施方法，使用基于规则的NLP概念
5. A comparative study of three tests that measure receptive language processing ability in subjects ages eleven to twelve years, five months: The token test for children (Disimoni, 1978) the Fullerton language test for adolescents, oral commands subtest (Thorum, 1980) the clinical evaluation of language function, processing linguistic concepts and processing oral directions subtests (Semel & Wiig, 1980). [D] . Butchers, Helen. 1982

机译：对三种测量年龄在11至12岁，五个月的受试者中的接受语言处理能力的测试的比较研究：儿童的令牌测试（Disimoni，1978）青少年的Fullerton语言测试，口头命令子测试（Thorum，1980）临床语言功能评估，处理语言概念和处理口头指示子测验（Semel＆Wiig，1980）。
6. Repetition priming within and between languages in verb generation: Evidence for shared verb concepts. [O] . Eva M. de la Riva López, Wendy S. Francis, Jaime García -1

机译：在动词生成中和语言中的重复启动：共享动词概念的证据。
7. Concepts of linguistic expertise in the ordinary language consciousness Concepts of linguistic expertise in the ordinary language consciousness Concepts of linguistic expertise in the ordinary language consciousness [O] . Anna A. Talitskaya, Irina I. Ananeva 2020

机译：语言专业知识在普通语言意识中普通语言意识概念的概念，普通语言意识中的语言专业知识概念
8. Concepts and Implementations of Natural Language Query Systems [R] . Dominick, W. D., Liu, I. 1984

机译：自然语言查询系统的概念与实现

From Language Concepts to Implementation Concepts

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅