编程语言-一流百科

图灵焦油坑

图灵焦油坑图灵焦油坑是任何编程语言或计算机界面，它允许功能灵活但难以学习和使用，因为它对常见任务提供很少或根本不支持。在任何图灵完备语言中，都可以...

词条百科

编程语言理论

编程语言理论编程语言理论 (PLT) 是计算机科学的一个分支，它处理被称为编程语言的形式语言的设计、实现、分析、表征和分类。编程语言理论与其他领域密切相...

词条百科

模除

模除在计算中，模运算返回除法的余数或带符号的余数，在一个数除以另一个数后（称为运算的模数）。给定两个正数 a 和 n，模 n（通常缩写为 a mod n）是 a 除...

词条百科

格林斯潘第十定律

格林斯潘第十定律格林斯潘第十定律 of programming 是计算机编程特别是编程语言圈子里的一句格言，它指出：任何足够复杂的 C 或 Fortran 程序都包含一个临时...

词条百科

编程语言历史

编程语言历史编程语言的历史跨越了从早期机械计算机的文档到现代软件开发工具。早期的编程语言是高度专业化的，依赖于数学符号和类似晦涩的语法。在整个 20...

词条百科

SARL（编程语言）

SARL（编程语言）SARL编程语言是一种模块化的面向代理的编程语言。它旨在为处理并发性、分布性、交互性、分散性、反应性、自主性和动态重新配置提供基本抽象...

词条百科

类型推理

类型推理类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统，但也包括计算机科学和语言学某些分支中的自然语言。非技术性...

词条百科

产品类型

产品类型在编程语言和类型理论中，类型的乘积是一个结构中的另一个复合类型。乘积的操作数是类型，而乘积类型的结构是由乘积中操作数的固定顺序决定的。一个...

词条百科

函数类型

函数类型在计算机科学和数理逻辑中，函数类型（或箭头类型或指数）是指一个函数已经或可以被分配到的变量或参数的类型，或者是一个高阶函数获取或返回函数的...

词条百科

枚举类型

枚举类型在计算机编程中，枚举类型（在R编程语言中也称为枚举、枚举或因子，在统计学中称为分类变量）是一种数据类型，由一组被称为该类型的元素、成员、枚举...

词条百科

OBJ（编程语言）

简介OBJ是由JosephGoguen在1976年推出的一个编程语言系列，并由JoseMeseguer进一步研究。OBJ（编程语言）的概述它是一个陈述性超高级语言系列。它的特点是抽...

词条百科

严格函数

什么是严格函数在计算机科学和计算机编程中，如果一个函数f应用于一个非终止表达式时，它也不能终止，则称其为严格函数。在编程语言的指称语义学中，一个严格...

词条百科

Lustre（编程语言）

Lustre（编程语言）Lustre是一种正式定义的、声明性的、同步的数据流编程语言，用于为反应式系统编程。它在20世纪80年代初作为一个研究项目开始。该语言的正...

词条百科

字符串

什么是字符串在计算机编程中，字符串传统上是一个字符序列，可以是字面常量，也可以是某种变量。后者可能允许其元素发生变异并改变长度，或者它可能是固定的...

词条百科

编程语言

编程语言概要编程语言是一种形式语言包括一组指令产生各种输出。编程语言用于计算机编程中以实现算法。大多数编程语言包括指令的计算机。有些可编程机器使用...

词条百科

结构化编程

结构化编程结构化编程是一种编程范例，旨在通过广泛使用选择（if / then / else）和重复（while and for），块结构的结构化控制流构造来提高计算机程序的清晰...

词条百科

网站程序

由ASP、PHP、JSP等网络编程语言，结合数据库开发具有一定功能的，运行于服务器端的页面集合。

词条百科

编程

执行原理编程计算机对除机器语言以外的源程序不能直接识别、理解和执行，都必须通过某种方式转换为计算机能够直接执行的机器语言。这种将高级程序设计语言编...

词条百科