The imperative style of standard programming languages is not appropriate for many modern computing tasks involving manipulation of symbols and complex structures. These applications require higher level declarative languages such as Lisp and Prolog. A brief description is given of the functional language PROGRAPH, which overcomes some of the shortcomings of Lisp by replacing the usual textual representation of programs by pictures called "prographs". An abstract machine is defined having an architecture similar to most conventional computers, and suitable as a target machine for compiling prographs. An outline is given of an implementation in Prolog of a PROGRAPH compiler, based on this abstract machine.
标准编程语言的命令式样式不适用于许多涉及符号和复杂结构操纵的现代计算任务。这些应用程序需要更高级别的声明性语言,例如Lisp和Prolog。对功能语言PROGRAPH进行了简要说明,该语言通过用称为“ prographs”的图片替换程序的常规文本表示形式,克服了Lisp的某些缺点。定义了一种抽象机器,该机器具有类似于大多数常规计算机的体系结构,并且适合作为编译项目的目标机器。概述了基于此抽象机器的PROGRAPH编译器在Prolog中的实现。 P>
机译:功能语言和编译器实时功能的调查
机译:为.NET平台编译非严格功能语言
机译:快速实现将语言编译为C ++而无需编写编译器
机译:GVL:图形化功能语言,用于以编程语言规范输出
机译:通过静态类型的功能语言编译动态语言。
机译:Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:用于过程控制的功能图形语言