高级程序设计语言有哪些

有很多。

高级程序设计语言有：Fortran、Pascal、Cobol、C、C、Basic、Ada、Java、C#、Lisp、Haskell、ML、Scheme、Prolog、Smalltalk等等。

高级程序设计语言的分类：

命令式语言。这种语言的语义基础是模拟“数据存储/数据 *** 作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生 *** 作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如Fortran、Pascal、Cobol、C、C、Basic、Ada、Java、C#等，各种脚本语言也被看作是此种类型。

函数式语言。这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型。这种语言非常适合于进行人工智能等工作的计算。典型的函数式语言如Lisp、Haskell、ML、Scheme、F#等。

高级语言是目前绝大多数编程者的选择⊥汇编语言相比，它不但将许多相关的机器指令合成为单条指令，并且去掉了与具体 *** 作有关但与完成工作无关的细节，例如使用堆栈、寄存器等，这样就大大简化了程序中的指令。同时，由于省略了很多细节，编程者也就不需要有太多的专业知识。 高级语言主要是相对于汇编语言而言，它并不是特指某一种具体的语言，而是包括了很多编程语言，如目前流行的vb、vc、foxpro、delphi等，这些语言的语法、命令格式都各不相同。 高级语言所编制的程序不能直接被计算机识别，必须经过转换才能被执行，按转换方式可将它们分为两类 解释类执行方式类似于我们日常生活中的同声翻译”，应用程序源代码一边由相应语言的解释器翻译”成目标代码(机器语言)，一边执行，因此效率比较低，而且不能生成可独立执行的可执行文件，应用程序不能脱离其解释器，但这种方式比较灵活，可以动态地调整、修改应用程序。 编译类编译是指在应用源程序执行之前，就将程序源代码翻译”成目标代码(机器语言)，因此其目标程序可以脱离其语言环境独立执行，使用比较方便、效率较高。但应用程序一旦需要修改，必须先修改源代码，再重新编译生成新的目标文件(＊ .obj)才能执行，只有目标文件而没有源代码，修改很不方便。现在大多数的编程语言都是编译型的，例如visual c＋＋、visual foxpro、delphi等。

高级语言包括很多编程语言，如目前流行的java，c，c++，C#，pascal，python，lisp，prolog，FoxPro，VC，易语言，中文版的C语言习语言等等，这些语言的语法、命令格式都不相同。

程序设计语言的类型：命令式语言，这种语言的语义基础是模拟“数据存储/数据 *** 作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。

其中产生 *** 作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C# 等，各种脚本语言也被看作是此种类型。

高级语言的工作方式：

高级语言设计的程序必须经过“翻译”以后才能被机器执行。“翻译”的方法有两种，一种是解释，一种是编译。

解释是把源程序翻译一句，执行一句的过程，而编译是源程序翻译成机器指令形式的目标程序的过程，再用链接程序把目标程序链接成可执行程序后才能执行。

解释翻译过程。对高级语言程序进行解释并执行的程序称为解释程序（软件）。它的功能是读入源程序，按源程序动态逻辑顺序进行逐句分析、翻译，解释一句执行一句，不产生任何中间代码，最终得到程序的执行结果。

---