The GREEN Language. A Formal Definition.

机译：绿色语言。正式定义。

获取原文

页面导航

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

摘要

This document is a Preliminary Draft of the Formal Definition of the GREEN programming language. As such, it indicates the structure and style of the final document. At this stage, the Static Semantics is well advanced but not complete, and large parts of the Dynamic Semantics are missing. Some sections (such as Chapter 4 - 6) have been worked on in detail to give a better idea of the final shape of the Formal Definition. (Author)

著录项

作者

展开▼
作者单位

展开▼
年度 1979
页码 1-112
总页数 112
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Programming languages; Syntax; Semantics; Data processing; Computer programming; GREEN programming language;

机译：编程语言;语法;语义;数据处理;计算机编程; GREEN编程语言;

相似文献

外文文献
中文文献
专利

1. Blm Scales Back Utah Oil And Gas Sale, But Greens Still File Formal Protests [J] . Jim Magill Inside Energy . 2008,第deca8期

机译：Blm缩减犹他州的油气销售，但绿党仍提出正式抗议
2. Environmental regulators in Pennsylvania are taking formal steps for the state to join the Regional Greenhouse Gas Initiative,a carbon capture and trade program in the Northeast and Mid-Atlantic [J] . NGWs Gas Market Reconnaissance Group NGW's Gas Market Reconnaissance . 2020,第Sepa16期

机译：宾夕法尼亚州的环境监管机构正在为国家加入地区温室气体倡议，东北和大西洋中大西洋中的碳捕集和贸易计划进行正式步骤
3. Paving the way for the circular economy and more sustainable supply chains Shedding light on formal and informal governance instruments used to induce green networks [J] . Mara Cristina Cardoso de Oliveira, Marcio Cardoso Machado, Charbel Jose Chiappetta Jabbour, Management of Environmental Quality . 2019,第5期

机译：为循环经济铺平道路，更可持续的供应链在用于诱导绿色网络的正式和非正式的治理仪器上脱落
4. Greener Bits: Formal Analysis of Demand Response [C] . Christel Baier, Sascha Klueppelholz, Hermann de Meer, International symposium on automated technology for verification and analysis . 2016

机译：更环保的一点：需求响应的形式分析
5. Students' reasoning about the concept of limit in the context of reinventing the formal definition. [D] . Swinyard, Craig Alan. 2008

机译：在重新定义形式定义的背景下，学生对极限概念的推理。
6. Formal description of a DNA oriented computer language. [O] . J L Schroeder, F R Blattner 1982

机译：面向DNA的计算机语言的形式描述。
7. : Universals of Human Language. Vol. 1, Method and Theory . Joseph H. Greenberg, Charles A. Ferguson, Edith A. Moravcsik. ; Universals of Human Language. Vol. 2, Phonology . Joseph H. Greenberg, Charles A. Ferguson, Edith A. Moravcsik. ; Universals of Human Language. Vol. 3, Word Structure . Joseph H. Greenberg, Charles A. Ferguson, Edith A. Moravcsik. ; Universals of Human Language. Vol. 4, Syntax . Joseph H. Greenberg, Charles A. Ferguson, Edith A. Moravcsik. [O] . Keith H. Basso 1980

机译：：州的人类语言。卷。 1，方法和理论。 Joseph H. Greenberg，Charles A. Ferguson，Edith A. Moravcsik。 ;祖先的人类语言。卷。 2，音韵。 Joseph H. Greenberg，Charles A. Ferguson，Edith A. Moravcsik。 ;祖先的人类语言。卷。 3，字结构。 Joseph H. Greenberg，Charles A. Ferguson，Edith A. Moravcsik。 ;祖先的人类语言。卷。 4，语法。 Joseph H. Greenberg，Charles A. Ferguson，Edith A. Moravcsik。

The GREEN Language. A Formal Definition.

摘要

著录项

相似文献

相关主题

期刊订阅