计算机语言

axiomatic semantics

公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

Clear Carry Flag

消除进位标志

Computer Lnaguage 计算机语言 | Clear Carry Flag 消除进位标志 | Clear Confirmation 清除确认

clasp

abbr. computer language for aeronautics and space programming; 航空航天程序设计计算机语言

-1

lisp lisp

语言

liquid crystal display 液晶显示器 | lisp lisp 语言 | lisp machine lisp 计算机

SGML

标准通用标记语言

而其面向对象的语义功能强大,却又灵活随意. Python 几乎适用于每一种计算机平台,并且在平台间具有很强的可移植性. XML 是"标准通用标记语言"(SGML) 的一种简化版本. 通过一种特殊的文档类型 HTML...

SQL

结构化查询语言

3.3 "结构化查询语言"(SQL)简介 8新世纪的到来,Internet和计算机网络技术的蓬勃发展,网络化和全球化已成为不可抗拒的世界潮流. 个人要生存,企业要发展,就必须采取新的生存方式、竞争手段去适应它.

ALO AnalyticLanguageManipulationSystem

解析语言操作系统

AnalysisofAutomaticLineInsulationTests 自动线路绝缘测试分析 | ALO AnalyticLanguageManipulationSystem 解析语言操作系统 | ACP AnalyticalComputerProgram 计算机解析程序

RECOL REtrievalCOmmandLanguage

检索命令语言

RECIPE REcomplementComputerInterpretiveProgramExpeditor 再补码计算机解释程序速成器 | RECOL REtrievalCOmmandLanguage 检索命令语言 | RED RandomEarlyDetect 随机早期察觉

interpreted

解释的

程序执行一般有两种方式:编译的(compiled)或解释的(interpreted). 尽管用任何计算机语言编写的程序都可以编译或解释,但有些语言主要是为一种执行方式而设计的. 例如 C 是用来编译的,而 JAVA 是用来解释的. 应当理解 C 是被明确指定为编译语言而得到优化的,

system function

系统函数

S-函数是系统函数(System Function)的简称,是指采用非图形化的方式(即计算机语言,区别于Simulink的系统模块)描述的一个功能块. 用户可以采用MATLAB代码,C,C++,FORTRAM或Ada等语言编写S-函数. S-函数由一种特定的语法构成,

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;